CONECTIVOS LOGICOS
Son términos
que sirven para enlazar proposiciones simples, estos son:
la conjunción,
disyunciones, la negación el condicional, bicondicional.
TABLA DE VERDAD PARA LAS
PROPOSICIONES COMPUESTAS
LA
CONJUCIÓN (^)
Sean
p y q dos proposiciones simples. La
proposición compuesta p ^ q se denomina conjunción.
Ejemplo:
La proposición compuesta: 5
es un número impar y es un entero positivo
Esta formada por:
p: 5 es un número impar
q: entero positivo p: 5 es un número impar
^: Conjunción
La conjunción es verdadera, cuando las dos
proposiciones son verdaderas, en los demás
casos es falsa.
LA DISYUNCION (V)
Sean
p y q dos proposiciones simples. La proposición compuesta p o q, simbolizada por p V q se llama disyunción.
El
operador “o” se puede usar como “o incluyente” o como “o excluyente”. En el
primer caso hace que el valor de verdad de una de las proposiciones simple repercuta
en el valor verdadero de la proposición disyuntiva, mientras que el segundo
caso (o excluyente) el valor de verdad de una de la proposición, excluye la veracidad
de la otra.
La
tabla de verdad de la “o inclusiva” o “exclusiva” respectivamente, se
puede resumir:
LA NEGACION
Sea p, una proposición
simple, se define la negación mediante la proposición compuesta no p,
simbolizada por ۸p.
Su tabla de verdad se puede resumir así:
El Condicional o Implicación
Se
dice que una proposición compuesta por
el condicional, si está formada por dos proposiciones simples entrelazadas por
la expresión: si…., entonces,…
La
mayoría de las proposiciones matemáticas
o teoremas tienen esta estructura
EL BICONDICIONAL
Se denomina bicondicional a la proposición formada por
dos proposiciones simples p y que conectada con la expresión: “si y solo si”,
simbólicamente lo podemos expresar, así: 
, las cuales deben de tener el mismo valor de verdad, para
formar la equivalencia .
No hay comentarios:
Publicar un comentario