IMPLICACIÓN LÓGICA

Sean A y B dos formas proposicionales, se dice que A implica lógicamente a B, denotado por A⇒B, si y sólo si A→B es una tautología.

Ejemplo:

La forma proposicional tautológica: p⇒(q→p), se puede traducir al lenguaje común como “si se tiene p, de cualquier manera q se seguirá teniendo p”.(Instituto de Ciencias Matemáticas , 2006)

p	q	q→p	p→(q→p)
F	F	V	V
F	V	F	V
V	F	V	V
V	V	V	V

Instituto de Ciencias Matemáticas . (05 de 2006). matesitalica. Obtenido de Fundamentos de matemáticas: http://www.matesitalica.es/pasatiempos_archivos/LIBROS%20Y%20CUENTOS/Fundamentos%20de%20Matem%C3%A1ticas%20para%20bachillerato.pdf