Condicional

Se lee p entonces q y su tabla de verdad es 

p	q	p→q
V	V	V
V	F	F
F	V	V
F	F	V

Ejemplo 

Si Nicolás maneja carro, entonces tiene licencia. 

                  v                                    v

Si Nicolás maneja carro, entonces no tiene licencia.

                  v                                     f

• Directa      p→q

Si Nicolás maneja carro, entonces tiene licencia. 

• Recíproca  q→p

Si Nicolás tiene licencia, entonces maneja carro.

• Inversa     ⌐p→⌐q

Si Nicolás no maneja carro, entonces no tiene licencia. 

• Contrapositiva   ⌐q→⌐p

Si Nicolás no tiene licencia, entonces no maneja carro.