Testarea validității afirmațiilor

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