Spójnik `i'
koniunkcja
Z1 |
Z2 |
Z1 i Z2 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
B - jako synonim zwrotem `a potem', `i następnie' oraz C- jako synonim `i w skutek tego'
Z1 |
Z2 |
Z1iZ2 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1lub0 wynik zależy od tego czy fakt opisany w Z1zaszedł przed faktem Z2 |
Alternatywa - (`lub', `bądź')
Z1 |
Z2 |
Z1lubZ2 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
Implikacja(jeśli.., to..)(np. Jeśli Kopernik miał syna to nie był ojcem)
Z1 |
Z2 |
Z1Z2 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
Równoważność (wtedy i tylko wtedy)
Z1 |
Z2 |
Z1↔Z2 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
Zdanie jest analityczne, gdy jest prawdziwe, a jego prawdziwość jest zagwarantowana wyłącznie przez jego strukturę oraz znaczenie językowe występujących w nim wyrażeń. (np. żaden kawaler nie jest żonaty).
Zdanie jest kontranalityczne, gdy jest fałszywe, a jego fałszywość wynika wyłącznie z jego budowy oraz znaczenia językowego występujących w nim wyrażeń (np. jakiś kawaler jest żonaty; każdy kawaler jest żonaty).
Zdanie syntetyczne to takie, które ma wartość logiczną ale nie jest ani analityczne ani kontranalityczne. Mogą być one prawdziwe(np. Warszawa jest stolicą Polski), jak i fałszywe(np. Poznań jest stolicą Polski).
Zdanie jest logicznie prawdziwe, gdy jest prawdziwe, a jego prawdziwość wynika z jego budowy oraz ze znaczenia językowego występujących w nim stałych logicznych(np. J jest starszy od P lub nie jest starszy od P.).
Zdanie jest logicznie fałszywe, gdy jest fałszywe, a jego fałszywość wynika jedynie z jego budowy oraz ze znaczenia językowego wystepujących w nim stałych logicznych. (np. J jest starszy od P i nie jest starszy od P.).
Wynikanie logiczne- ze zdań Z1-Zn wynika zd. Zn+1 wtedy i tylko wtedy, gdy nie jest możliwe, aby wszystkie zd. od Z1-Zn były prawdziwe, a zd. Zn+1 było fałszywe.