Vero o falso?

[EcoTan]

puo' essere falsa solo se l'antecedente e' vero.
Ma l'antecedente e' falso quindi l'implicazione e' vera.

No, l'implicazione non è falsa. Ciò non vuol dire che sia vera.

[AjeieBrazov]

Insisto: l'implicazione è per forza vera (o meglio, il valore logico di quell'implicazione) perché l'antecedente è falso!

Mettila come vuoi, ma questa è logica, e la logica è una.

[EcoTan]

Non colpevole è lo stesso di innocente? Per 1 volta il diritto mi appare più sviluppato della "scienza".

[DanteCpp]

No, l'implicazione non è falsa. Ciò non vuol dire che sia vera.

sarà





xp

[Piercarlo]

Non colpevole è lo stesso di innocente?

Per un tribunale sì. Semmai non lo è un "assolto per insufficienza di prove".

[EcoTan]

Va bene, accolgo la correzione sul paragone giuridico che zoppica come ogni paragone.

[AjeieBrazov]

Un po' di ripasso di logica sull'implicazione logica.

[EcoTan]

Se porta a quelle conseguenze, allora ritengo di avere cose più serie da studiare.

[Piercarlo]

Uno può avere cose più interessanti da studiare, sicuramente; ma più serio della logica c'è ben poco...

[AjeieBrazov]

Lo studio della logica è una cosa seria.
Lo studio dei metodi di dimostrazione è una cosa seria.
Lo studio della correttezza formale è una cosa seria.
La logica digitale è una cosa seria.