Implikáció

1. Sablon:Matematika Az implikáció (ha A akkor B) logikai művelet jelölése: $A\to B$, definíciója:

   $\begin{array}{ccc}A& B& A\to B\\ \mathrm{i}& \mathrm{i}& \mathrm{i}\\ \mathrm{i}& \mathrm{h}& \mathrm{h}\\ \mathrm{h}& \mathrm{i}& \mathrm{i}\\ \mathrm{h}& \mathrm{h}& \mathrm{i}\end{array}$

• Sablon:En: Sablon:T, material consequence