zdaniową B schematem wniosku. Każdy schemat wnioskowania jest więc parą o postaci <{A1, A2, ..., Ak}, B>. W praktyce schematy wnioskowania zapisuje się...

Sylogizm (z stgr. συλλογισμός – konkluzja, wniosek) – schemat wnioskowania na podstawie dwóch przesłanek, które zawierają wspólny element, a każdy element...

potwierdzający przez potwierdzenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego. Tautologia rachunku zdań mówi, że jeśli uznajemy prawdziwość...

Prawa klasycznego rachunku zdań oraz schemat wnioskowania modus ponendo ponens Zwłaszcza w terminologii obcojęzycznej reguły odrywania modus tollendo ponens...

stopniu i czy w ogóle wnioskowania indukcyjne prowadzą do prawdziwych wniosków. Ci, którzy uznają wnioskowania indukcyjne za wnioskowania uzasadniające (zwolennicy...

potwierdzający przez zaprzeczenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego. Tautologia rachunku zdań mówi, że jeśli uznajemy alternatywę...

pada, idę do kina); o wnioskowaniu indukcyjnym (enumeracyjnym lub eliminacyjnym) jako o wnioskowaniu ze szczegółu o ogóle (schemat: przedmiot x1 ma własność...

Trylemat (z gr.: τρεις - trzy, λημμα - przesłanka) – schemat wnioskowania, w którym obok trzech zdań warunkowych występuje potrójna alternatywa: Jest to...

odpowiada właściwe prawo logiczne. Wyróżniono cztery typy takich schematów wnioskowań: dylemat konstrukcyjny (prosty), dylemat konstrukcyjny złożony, dylemat...

odpowiada schemat niezawodnego wnioskowania dedukcyjnego. Mówi się więc również, że głównym celem logiki klasycznej jest opisanie wszystkich schematów niezawodnego...

fałszywości drugiego [ ( p / q ) ∧ p ] ⇒ ¬ q . {\displaystyle [(p/q)\wedge p]\Rightarrow \lnot q.} Analogiczny schemat wnioskowania dedukcyjnego ma postać...