Vai al contenuto

Se Sandro è a Lucca

Se Sandro è a Lucca

0

Date le seguenti affermazioni:
“Se Sandro è a Lucca, allora Paolo è a Torino. Paolo è a Torino”.
Quale delle seguenti affermazioni è vera?
A) Paolo è a Torino
B) Sandro non è a Lucca
C) Sandro è a Lucca
D) Non si può trarre alcuna conclusione logicamente vera

RISOLTO
Marked as spam
Claudio Signorini Pubblicato da (Domande: 80, Risposte: 225)
Domandato 09/09/2021 09:58
77 viste

Risposte (1)

Risposta privata

L'implicazione logica di partenza è:

Sandro è a Lucca -> Paolo è a Torino.

Inoltre si afferma:

Paolo è a Torino.

Ma questa è la conseguente dell'implicazione logica sopra, per cui non possiamo dire nulla sull'antecedente. Risposta D.

Perché non possiamo dire nulla sull'antecedente?

Perché nella tabella di verità dell'implicazione logica ci sono due righe in cui l'implicazione è vera e la conseguente è vera:

A vera | B vera | A -> B vera

A falsa | B vera | A -> B vera

Per cui se B (la conseguente: "Paolo è a Torino") è vera e l'implicazione ("Se Sandro è a Lucca, allora Paolo è a Torino") è vera, nulla possiamo dire dell'antecedente.

Per approfondimenti: https://quimatematica.it/implicazione-logica/

Marked as spam
Claudio Signorini Pubblicato da (Domande: 80, Risposte: 225)
Risposto 09/09/2021 09:59
    Questo sito web utilizza Google Analytics. Fai clic qui se vuoi disattivarlo. Fai clic qui per disattivarlo.