3:1 - 3:1; 1:3 - 1:3
(p∆q) ≡ (?p ◊ ?q)
p |
q |
(p→q) |
(pvq) |
(?pv?q) |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
3:1 - 1:3, ~; 1:3 - 3:1, ~
(p∆q) ≡ ~ (?p ◊ ?q)
p |
q |
(p→q) |
(p^q) |
~ (?p^?q) |
(?p^?q) |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
2:2 - →, ~
(p∆q) ≡ ((?p → ?q) → ~ (?p → ?q))
p |
q |
(p┴q) |
(p→q) |
(?p→?q) |
~(?p→?q) |
(?p→?q) |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
2:2 - alternatywa i ~; koniunkcja i ~
(p∆q) ≡ (~(?p v ?q) v ~ (?p v ?q))
(p∆q) ≡ (~(?p ^ ?q) ^ ~ (?p ^ ?q))
p |
q |
(p≡q) |
(p v q) |
~(?p v ?q) |
~(?p v ?q) |
(?p v ?q) |
(?p v ?q) |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
2:2 - dysjunkcja; binegacja
(p∆q) ≡ ((?p / ?q) / (?p / ?q))
(p∆q) ≡ ((?p ↓ ?q) ↓ (?p ↓ ?q))
p |
q |
(p┴q) |
(p / q) |
(?p / ?q) |
(?p / ?q) |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
~p ≡ (p / p); ~p ≡ (p ↓ p)
~(p / q) ≡ ((p / q) / (p / q)), również ↓
Przesłanki:
Termin średni musi być co najmniej raz rozłożony.
Co najwyżej jedna przesłanka może być przecząca.
Co najwyżej jedna przesłanka może być szczegółowa.
Wniosek:
Zawsze i tylko wtedy, gdy przesłanka jest przecząca to i wniosek jest przeczący.
Jeżeli jest przesłanka szczegółowa, to i wniosek jest szczegółowy,
jeżeli zaś wniosek jest ogólny, to obie przesłanki muszą być ogólne.
Termin rozłożony we wniosku musi być rozłożony w przesłance.
Jeżeli do wyboru zostały przesłanki zarówno ogólne i szczegółowe,
należy wybrać szczegółowe. ENTYMEMAT
Obwersje SaP - SeP' SeP - SaP' SiP - SoP' SoP - SiP'
|
Konwersje SaP - PiS SeP - PeS SiP - PiS SoP - X
|
Kontrapozycja częściowa - OK Kontrapozycja zupełna - OKO
|
|
|
Koniunkcja „i” |
Alternatywa zwykła „lub” |
Alternatywa rozłączna „albo... albo” |
Dysjunkcja „bądź.. bądź” |
Binegacja „ani... ani” |
Implikacja „jeżeli... to” |
Równoważność „zawsze i tylko wtedy” |
|
p |
q |
p ^ q |
p v q |
p ┴ q |
p / q |
p ↓ q |
p → q |
p ≡ q |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |