04/03/2015, 12:51
04/03/2015, 20:44
05/03/2015, 00:05
06/03/2015, 08:30
06/03/2015, 15:34
_fabricius_ ha scritto:Se uno è premuto e l'altro no, diciamo A è premuto e B no, da un lato \( A \land B \) è falso, dunque \( (A \land B) \rightarrow C \) è vera, dall'altro \( B \rightarrow C \) è vera poiché l'ipotesi B è falsa, e quindi anche \( (A\rightarrow C)\lor(B\rightarrow C) \) è vera.
06/03/2015, 15:50
06/03/2015, 18:09
06/03/2015, 22:15
06/03/2015, 23:21
23/09/2016, 21:05
DavideGenova ha scritto:Ciao, amici! La proposizione\[((A\land B)\rightarrow C)\leftrightarrow((A\rightarrow C)\lor(B\rightarrow C)) \]risulta essere una tautologia della logica delle proposizioni.
Ora, la proposizione "Dato che, se si preme il pulsante A e si preme il pulsante B, si accende la spia, allora vale che se si preme il pulsante A si accende la spia o che se si preme il pulsante B si accende la spia", che sarei portato a formalizzare come \(((A\land B)\rightarrow C)\rightarrow((A\rightarrow C)\lor(B\rightarrow C)) \), è ovviamente falsa nel caso in cui gli interruttori A e B siano in serie.
Che cosa non va nel mio ragionamento?
$\infty$ grazie per ogni chiarimento!
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.
Powered by phpBB © phpBB Group - Privacy policy - Cookie privacy
phpBB Mobile / SEO by Artodia.