Non verità per assiomi e teoremi ma partendo dal basso pe costruire beota attraverso deduzioni dimostrazioni. Senza dimostrazioni dall'alto forme valide o tautologie sempre vere inqualcluque modo vogliamo interpretarlo sono proposizioni con tavole e varia libici valori di verità se veniva c goio ti sempre vero queste erano le veritàogiche. Regole deduZioni logiche dimostro che i teoremi dimostrati partendo assiomi usando regole deduzione logica erano esattamente le tatogie che si possono verificare attraverso tavole di verità
Iscriviti a:
Commenti sul post (Atom)
Nessun commento:
Posta un commento