sylogizmem
Encyklopedia PWN
modus tollendo tollens
log. prawo rachunku zdań (sylogizmu kategoryczno-hipotetycznego), według którego fałszywość następnika prawdziwej implikacji pociąga za sobą fałszywość jej poprzednika.
[łac., ‘sposób zaprzeczający zaprzeczeniem’],
logik, filozof;
njaja
jeden z 6 klas. bramińskich systemów filoz. w Indiach (darśana);
[sanskr. nyāya ‘metoda’, ‘logika’],
log. prawa logiki, zakładające, że zdania oznajmujące mogą być tylko prawdziwe lub fałszywe i żadnej innej wartości logicznej mieć nie mogą.
rachunek zdań, logika zdań,
teoria log. rozważająca związki między zdaniami w obrębie zdań złożonych; ...teoria spójników log., ich semantycznych właściwości oraz wszelkich pojęć, które można definiować, odwołując się wyłącznie do postulatów określających sens spójników logicznych;