Tablas de Verdad

Estas tablas pueden construirse haciendo una interpretación de los signos lógicos, Ù, Ú, ®, «, como: no, o, y, si…entonces, sí y sólo si, respectivamente. La interpretación corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deducción lógico matemática. En consecuencia, las tablas de verdad constituyen un método de decisión para chequear si una proposición es o no un teorema.

Conjunción (Ʌ)

Ejemplo:

 ü  La enfermera realiza curaciones y el medico da el diagnostico.

           p. la enfermera realiza curaciones

           q. el medico da el diagnostico.

           P ᴧ q

P	q	P ᴧ q
V	V	V
V	F	F
F	V	F
F	F	F

Disyunción (V)

Ejemplo:

 ü  Si estudio con dedicación entonces ganare el semestre.

           p. si estudio con dedicación

           q. ganare el semestre.

           P v q

C	q	P v q
V	V	V
V	F	V
F	V	V
F	F	F

Negación (~)

Ejemplo:

 ü  P= Las enfermeras velan por la salud de los pacientes (verdadera)

   ῀ P= Las enfermeras velan por la salud de los pacientes (falso)

   ῀῀p=Las enfermeras velan por la salud de los pacientes (verdadera)

p	῀ q
V	F
F	V

Condicional (=>)

Ejemplo:

 ü  P: Carlos estudia enfermería.

  Q: Carlos será enfermero.

   P => Q

Si Carlos estudia entonces Carlos será enfermero (V)

Si Carlos estudia entonces Carlos no será enfermero (F)

Si Carlos no estudia entonces Carlos no es enfermero (V)

Si Carlos no estudia entonces Carlos es enfermero (F)

p	Q	P => Q
V	V	V
V	F	F
F	V	V
F	F	F

Solo es Falsa cuando la premisa consecuente es la única Falsa.

Bicondicional (<=>)

Ejemplo:

 ü  Una enfermera será reconocida si y solo si realiza bien su trabajo

           p: una enfermera será reconocida.

           ↔ Si y solo

           q: si realiza bien su trabajo.

p	q	p↔q
V	V	V
V	F	F
F	V	F
F	F	V