Modus tollendo ponens
Z Wikipedii
Modus tollendo ponens (łac. sposób potwierdzający przez zaprzeczenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.
Tautologia rachunku zdań mówi, że jeśli uznajemy alternatywę i fałszywość jednego z jej członów, musimy uznać prawdziwość drugiego członu:
![[(p \or q) \land \neg p] \implies q\,\!](http://upload.wikimedia.org/math/b/1/0/b1034853d015d5870ed51a256551d4e8.png)
Analogiczny schemat wnioskowania dedukcyjnego ma postać:
-
p lub q, nie p. Zatem: q.
[edytuj] Zobacz też
- reguła odrywania
- prawa rachunku zdań,
- modus ponendo ponens,
- modus ponendo tollens,
- modus tollendo tollens
| Perła Karkonoszy |
|
Kontakt:
ul. Konstytucji 3 Maja 59 A
58-540 Karpacz
Telefon: 075 761-60-98
WWW: www.perlakarkonoszy.pl
e-mail: perlakarkonoszy@wp.pl
Karpacz
|
| Hotel Malinowy Zdrój |
|
Kontakt:
Leśna 7
28 - 131 Solec Zdrój
Telefon: 041 370 40 00
WWW: www.malinowyzdroj.pl
e-mail: rezerwacje@malinowyzdroj.pl
No Tags
|
| Kormoran Rowy |
|
Kontakt:
ul. Kościelna 16
76-212 Rowy
Telefon: 059 814-19-41
Fax: 059 814-19-53
WWW: www.kormoran-rowy.com
e-mail: reservation@kormoran-rowy.com
Rowy
|
| “OGNISTY PTAK” Centrum Rekreacyjno-Konferencyjne |
|
Kontakt:
Ogonki 11-600 Węgorzewo
ul. Sztynorcka 6
tel. (+48 87) 427-28-79
fax (+48 87) 427-02-77
www: www.ognistyptak.pl
e-mail: recepcja@ognistyptak.pl
No Tags
|
| Hotel Haffner |
|
Kontakt:
ul. J.J. Haffnera 59
81-715 Sopot
tel.: +48 58 55 09 999, fax: +48 58 55 09 800
WWW: www.hotelhaffner.pl
e-mail: office@hotelhaffner.pl
No Tags
|
brak hosta 906 no host sprawdz strone wymiana linkow