Teoria de conjuntos.
Enviado por derek1099 • 18 de Marzo de 2016 • Síntesis • 473 Palabras (2 Páginas) • 124 Visitas
[pic 1]
Instituto Tecnológico de Mérida
Matemáticas discretas
Unidad #2
Tablas de verdad
Grupo: 1SB
Alumno: Roger Iván Argáez Cocom
PROPOSICIONES:
Son enunciados que en un contexto determinado o en una teoría se pueden calificar como verdaderas o falsas.
Para designar una proposición se utilizarían las letras minúsculas p,q,r,s y t
TABLAS DE VERDAD
Es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.
Las tablas de verdad se utilizan en lógica simbólica para establecer la validez de las proposiciones. La construcción de tablas de verdad simplifica la tarea de determinar la verdad o falsedad de una proposición.
DISYUNCIÓN
La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.[pic 2]
la disyunción es una conectiva lógica que enlaza dos enunciados dando como resultado una fórmula que será verdadera solamente cuando al menos uno de sus enunciados componentes es verdaderos, siendo falsa cuando ambos son falsos.
Ejemplos:
p = ” El numero 2 es par”
q = ” la suma de 2 + 2 es 4″
entonces…
pvq: “El numero 2 es par o la suma de 2 + 2 es 4″
[pic 3]
p = ” La raíz cuadrada del 4 es 2”
q = ” El numero 3 es par″
entonces…
pvq: “La raíz cuadrada del 4 es 2 o el numero 3 es par”
CONJUNCIÓN
La conjunción es una conectiva lógica que enlaza dos enunciados dando como resultado una fórmula que será verdadera solamente cuando sus enunciados componentes son verdaderos.[pic 4]
La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.
...