Oba zdania zapisujemy „ jeśli …,to …”
Implikację oznaczamy symbolem:
Pierwsze zdanie implikacji nazywamy poprzednikiem
Drugie zdanie implikacji nazywamy następnikiem
|
p |
q |
|
|
1 |
1 |
1 |
|
1 |
0 |
0 |
|
0 |
1 |
1 |
|
0 |
0 |
1 |
Implikacja jest fałszywa kiedy poprzednik jest prawdziwy a następnik fałszywy.