Concetti Essenziali di Logica, Filosofia e Natura Umana
Classificato in Filosofia ed etica
Scritto il in
italiano con una dimensione di 4,99 KB
Logica Proposizionale: Regole di Inferenza Fondamentali
Modus Ponens (MP)
Dato un condizionale e il suo antecedente come premesse, possiamo derivare la sua conseguenza.
Introduzione dell'Implicazione (II)
Se, assumendo una proposizione A, si scopre che ne deriva una proposizione B, allora si può concludere che A implica B (A → B).
Introduzione della Congiunzione (IC)
Se abbiamo due premesse, possiamo concludere la loro congiunzione.
Eliminazione della Congiunzione (EC)
Data una congiunzione come premessa, possiamo concludere uno dei suoi congiunti.
Introduzione della Disgiunzione (ID)
Se abbiamo una proposizione come premessa, è possibile aggiungere qualsiasi altra proposizione disgiunta, e tale disgiunzione sarà vera.