TABLAS DE VERDAD GENERADAS CON LA AYUDA DE WOLFRAM ALPHA

TABLA DE VERDAD PARA DISYUNCION ( V )

Para dos proposiciones separadas por el conector lgico ( V ) basta con

que una sea verdadera (True ) para que se cumpla la proposicin (pvq). Su

smbolo es: V

Ejemplos :

Est comiendo o est durmiendo

Est nadando o est caminando

p= El numero 4 es par

q = la suma de 4 + 2 es 6

Entonces

pvq: El numero 4 es par o la suma de 4 + 2 es 6

TABLA DE VERDAD PARA CONJUNCION ( )

Para dos proposiciones separadas por el conector lgico ( ) basta con

que una sea falsa ( False ) para que se cumpla la proposicin ( p q ) . Su

smbolo es:
TABLAS DE VERDAD GENERADAS CON LA AYUDA DE WOLFRAM ALPHA

Ejemplos .

La tabla est vieja y hmeda

Tiene efectivo y tiene cheque

p = El numero 8 es par

q =Siempre el residuo de los nmeros pares es 2

Entonces

p^q: El numero 8 es par y siempre el residuo de los nmeros pares es 2

TABLA DE VERDAD PARA IMPLICACION ( => )

Para dos proposiciones separadas por el conector lgico ( => ) cuya conectiva dominante es
el condicional se lee si p, entonces q o bien p es condicin suficiente de q, donde p es el
antecedente y q es el consecuente.

smbolo es: =>

Ejemplos :

Si est en un pregrado entonces aprob el icfes

Si quiere dormir entonces tiene sueo

p: Hoy es lunes

q: Maana ser martes

pq: Si Hoy es lunes entonces maana ser martes

TABLAS DE VERDAD GENERADAS CON LA AYUDA DE WOLFRAM ALPHA

TABLA DE VERDAD PARA BICONDICIONAL ( )

Tambin llamado equivalencia o implicacin doble, es una proposicin de la forma p si y slo si

q, en la cual tanto p como q son ambas ciertas o ambas falsas. Tambin se dice que q es una
condicin necesaria y suficiente para p, (pq).

Su smbolo es:

Ejemplos :

Es un triangulo equiltero si y solo si todos sus lados son iguales

Saldrs si y solo si acabaste tu tarea.

p: 10 es un nmero par

q: 5 es un nmero primo

pq: 10 es un nmero par si y solo si 5 es un nmero primo

SIMULADOR TRUTH

TEORIA https://www.youtube.com/watch?v=CETAbWmYMRg

PARA SILOGISMO EN VENN : https://www.youtube.com/watch?v=Le7ZaCPtx3s

COMO QUERIAMOS DEMOSTRAR

C.Q.D

Ejercicios sobre Inferencia lgica : https://www.youtube.com/watch?v=FKpt0lVD2y0