IMPLICACIÓN LÓGICA

​

Sean A y B dos formas proposicionales, se dice que A implica lógicamente a B denotada por A => B, si y solo si A → B es una tautología.

La forma proporcional tautológica: p => ( q → p)