? Nella logica proposizionale , un’istruzione condizionale è una costruzione ” if-then “, frase che collega insieme indipendente ( p ) e dipendenti ( q ) proposizione. Per qualsiasi istruzione condizionale , ci sono tre possibili permutazioni di essa : l’inversa , la Converse e contrapositive . L’inverso ha la stessa sintassi della dichiarazione originale , tranne che sia la p e q proposizioni sono negati . Proposizione

Dal punto di vista di un logico , una “proposta ” è una dichiarazione che definisce un’idea o un concetto . Questa affermazione può fare riferimento a un’idea che è tangibile ( ad esempio, il cane è affamato ) o astratto ( ad esempio il cane è nobile ) . L’ unico requisito è che la proposizione deve essere ” vero” o ” non è vero “. Logica proposizionale non consente un terzo valore ambiguo

istruzione condizionale

Una dichiarazione condizionale consiste di due proposizioni : . Un’ipotesi e una conclusione . La sintassi della dichiarazione stabilisce una relazione specifica tra le proposizioni; vale a dire , che proposizione è l’ipotesi , che è la conclusione . In generale , la sintassi di un’istruzione condizionale utilizza un ” if-then ” costruzione , vale a dire : “Se [ ipotesi ] , quindi [ conclusione ] . ”

Tradotto , questa affermazione sostiene che ogni volta che l’ipotesi ha un certo valore ( ad esempio , “true” ) , la conclusione deve avere un valore particolare ( ad esempio, ” true”) . Ad esempio, se la proposizione ” sta piovendo ” è vero, allora la proposizione ” il terreno è bagnato” deve essere vero .

L’ipotesi , o “P ”

libri di testo, i logici usano la lettera “P ” per rappresentare l’ipotesi di un’istruzione condizionale . In questo contesto , l’ipotesi può essere considerato ” indipendente” perché il suo valore non si basa sul valore dell’altra proposizione .

La conclusione, o “Q”

Nel frattempo , la lettera ” Q ” è riservato per la conclusione di un’istruzione condizionale . La conclusione dipende l’ipotesi , ma solo per certi valori di quest’ultima . Ad esempio, se ” sta piovendo ” è vero , allora “il terreno è bagnato ” deve anche essere vero . Tuttavia , se ” piove ” è falsa (cioè non c’è acqua che cade dal cielo ) , poi ” il terreno è bagnato ” potrebbe essere vera o falsa ( cioè forse una diga si ruppe e allagato la zona ) . L’istruzione condizionale originale definisce solo il rapporto per un valore di ipotesi.

Dichiarazione Inverse

l’inverso di un’istruzione condizionale , i valori di entrambe le ipotesi e conclusione sono invertiti . Ad esempio, se la dichiarazione originale era ” se piove , poi il terreno è bagnato , ” l’inverso di questa affermazione sarebbe “se non piove , poi il terreno non sarà asciutto . ”

Nota : Costruire l’inverso non è per cambiare tutti i valori delle proposizioni ” a ” false “. Piuttosto , l’essenza della dichiarazione inversa è “inversione “, che significa passaggio valori ” veri” per così come valori ” falsi” “false” a ” true “. Ad esempio , l’inverso della dichiarazione : “Se non ho un cappotto, poi mi metterò ipotermia , ” sarebbe ” Se ho un cappotto , quindi non voglio entrare ipotermia “.