Expresión No, No Es Y, Pero, Sin O, O..o.. Si..Entonces, Si y en lenguaje verdad que, embargo, ambas, Por lo Porque, Puesto Solamente natural Es falso que, Además, No menos una, que, Cuando, si, Cuando y No ocurre obstante, Entre.. Cada vez solamente si, que, No es el Aunque, A la Entonces y caso que vez, También solamente entonces. Se lee: “No p” “p y q” “p o q” “si p entonces “P si y solo si q” q” Símbolo ¨| ^ v → ↔ La negación La conjunción La disyunción El condicional El es un es un es un material es un bicondiciona operador operador que operador que operador que l es un que se opera sobre opera sobre opera sobre operador ejecuta dos valores de dos valores dos valores de que funciona sobre un verdad, de verdad, verdad, sobre dos único valor típicamente típicamente típicamente los valores de de verdad, los valores de los valores de valores de verdad, devolviendo verdad de dos verdad de dos verdad de dos típicamente el valor proposiciones, proposiciones proposiciones, los valores contradictori devolviendo el , devolviendo devolviendo el de verdad de o de la valor de el valor de valor de dos proposición verdad verdad verdad falso proposicione considerada. verdadero verdadero sólo cuando la s, cuando ambas cuando una primera devolviendo proposiciones de las proposición es el valor de son proposiciones verdadera y la verdad verdaderas, y es verdadera, segunda falsa, verdadero falso en o cuando y verdadero en cuando cualquier otro ambas lo son, cualquier otro ambas caso. Es decir y falso caso. proposicione es verdadera cuando s tienen el cuando ambas ambas son mismo valor son falsas. de verdad, y verdaderas. falso cuando sus valores de verdad difieren. Tabla de verdad
Ejemplo No es cierto que (¨|) Rodrigo sea maestro (p)
(Negación) ¨| p Ejemplo Juan es futbolista (p) y (^) Ana es voleibolista (q) (Conjunción) P ^ q
Ejemplo Raul es profesor(p) o (v) Raul es ingeniero (q)
(Disyunción) pvq
Ejemplo Si Carla estudia (p), entonces (→) ingresara a la universidad (q)
(Implicación) p → q
Ejemplo Ana ira a la fiesta (p), si y solo si (↔) tiene amigas (q) (Bicondiciona p ↔ q l)