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à 

Nessun commento: