kategoryczno-hipotetyczny

Słowo poświadczone w fotocytacie:
(...) MODUS TOLLENDO TOLLENS Rac., 'sposób zaprzeczający zaprzeczeniem’], prawo logiczne rachunku —» zdań, znane już logice tradycyjnej, mające postać sylogizmu kategoryczno-hipotetycznego o zapisie log.: [~ q A (p -* q)] -* ~p (jeżeli q jest fałszywe i p implikuje q, to p jest fałszywe); z prawa tego wynika, że poprzednik —► implikacji jest zdaniem fałszywym, jeżeli cała ta implikacja jest prawdziwa, a jej następnik jest zdaniem fałszywym; fałszywość następnika prawdziwej implikacji pociąga za sobą fałszywość jej poprzednika; m.t.t. (zw. też sylogizmem destrukcyjnym)...

Dodatkowe informacje

Diachroniczna częstość użycia słowa (wystąpień na milion wyrazów):
Lokalizacja ekscerptu na stronie:
Adres bibliograficzny:
WEP PWN 1962-1970. Wielka encyklopedia powszechna PWN. T. 1-13, Warszawa : PWN
Etykiety gramatyczne poświadczenia:
przymiotnikliczba pojedyncza

Zastrzeżenia

W naszych materiałach trafiają się błędy, są nieuniknione w tak wielkim zbiorze danych. Procentowo nie jest ich jednak więcej niż w klasycznym 11-tomowym Słowniku języka polskiego pod red. Witolda Doroszewskiego. Ciągle je wyszukujemy i nanosimy natychmiast poprawki, co w epoce przedelektronicznej było zupełnie niemożliwe.