Modus tollendo ponens - Nauka

Modus tollendo ponens

Z Wikipedii

Skocz do: nawigacji, szukaj

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\,\!

Analogiczny schemat wnioskowania dedukcyjnego ma postać:

p lub q,
nie p.

Zatem: q.

[edytuj] Zobacz też






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