Pentru a arăta că o propoziție este o tautologie, trebuie să arătăm că este 1 pe fiecare rând. Deci avem nevoie de un tabel complet de adevăr. Pentru a arăta că o propoziție nu este o tautologie, avem nevoie, totuși, … Citeşte mai mult
Tautologii, contradicții și propoziții contingente Amintiți-vă că o propoziție este o tautologie dacă trebuie să fie adevărată din punct de vedere logic. Cu un tabel complet de adevăr, luăm în considerare toate modurile în care ar putea fi lumea. Dacă … Citeşte mai mult
Aceasta este o modalitate de evaluare a propozițiilor și argumentelor logicii propoziționale (LP). Deși poate fi laborioasă, metoda tabelului de adevăr este o procedură pur mecanică, care nu necesită intuiție sau perspectivă specială. I. Conectori funcționali de adevăr Orice propoziție … Citeşte mai mult
Prin traducerea anumitor fraze în limbajul nostru simbolic vom avea o metodă pur formală de a determina validitatea unei anumite clase de argumente – și anume, acele argumente a căror validitate depinde de funcționarea conectivităților funcționale de adevăr. Aceasta este … Citeşte mai mult
