mi servirebbe una mano con questo quesito
La famosa frase di Cartesio
Penso dunque sono
significa che
A pensare equivale ad essere
B se non pensassi, non sarei
C se non fossi, non penserei
D quando non penso, non sono
E visto che sono, penso
mi servirebbe una mano con questo quesito
La famosa frase di Cartesio
Penso dunque sono
significa che
A pensare equivale ad essere
B se non pensassi, non sarei
C se non fossi, non penserei
D quando non penso, non sono
E visto che sono, penso
C. E' la contronominale. Se P => Q allora non Q => non P
Non scrivo tutta la tabella.
Per rispondere a questo quesito è necessario visualizzare la forma in prosa letteraria in simboli logici-Booleani.
La risposta è $C)$ in quanto
\[ \text{Cogito} \implies \text{Sum} = \neg \text{Sum} \implies \neg \text{Cogito}\,.\]
@enrico_bufacchi buongiorno, saprebbe consiglirmi dei libri di logica proposizionale, per favore? Se vuole posso creare una nuova domanda così può rispondere lì, se ha voglia
Ciao @Tiz,
se vuoi ho delle dispense a riguardo. Ce ne sono molti di libri sulla logica proposizionale e sillogismo comunque, credo siano tutti validi.
@enrico_bufacchi Grazie mille, sono su SOS matematica, per favore? Se non è un disturbo leggerei volentieri entrambe.
Ciao @Tiz,
ti giro tutto in privato, lasciamo libera questa sezione da cose extra.
"dunque" (ergo) è congiunzione conclusiva che indica implicazione: la mia esistenza "sono" (sum) è un'implicazione del fatto che "penso" (cogito).
Perciò smettendo di esistere uscirei dall'insieme dei pensanti: i cadaveri non pensano.
Con qualche simbolo: sono < penso → non(sono < penso) ≡ non penso < non sono
Opzioni
* A, E: errate! sono ≡ penso != sono < penso, l'equivalenza è un'implicazione reciproca, non orientata.
* B, D: errate! i dormienti non cogitano, ma continuano ad esistere.
* C: corretta! come già detto, i cadaveri non pensano.