Introduzione alla Logica Proposizionale

229 Pages·2010·1.35 MB·Italian

Percorso2010:IntroduzioneallaLogicaProposizionale
Percorso 2010: Introduzione alla Logica
Proposizionale
Francesca Poggiolesi
Facolt`adiMedicinaeChirurgia
26 Agosto 2010, Firenze
(cid:73) chi non compra, non disprezza,
(cid:73) chi non compra, disprezza,
(cid:73) chi non disprezza, non compra,
(cid:73) chi non disprezza, compra,
Se `e vero che “chi disprezza, compra,” sar`a necessariamente vera
anche una delle affermazioni seguenti:
Percorso2010:IntroduzioneallaLogicaProposizionale
Daltestallalogica
Alcuni esempi di test 1
(cid:73) chi non compra, non disprezza,
(cid:73) chi non compra, disprezza,
(cid:73) chi non disprezza, non compra,
(cid:73) chi non disprezza, compra,
Percorso2010:IntroduzioneallaLogicaProposizionale
Daltestallalogica
Alcuni esempi di test 1
Se `e vero che “chi disprezza, compra,” sar`a necessariamente vera
anche una delle affermazioni seguenti:
(cid:73) chi non compra, disprezza,
(cid:73) chi non disprezza, non compra,
(cid:73) chi non disprezza, compra,
Percorso2010:IntroduzioneallaLogicaProposizionale
Daltestallalogica
Alcuni esempi di test 1
Se `e vero che “chi disprezza, compra,” sar`a necessariamente vera
anche una delle affermazioni seguenti:
(cid:73) chi non compra, non disprezza,
(cid:73) chi non disprezza, non compra,
(cid:73) chi non disprezza, compra,
Percorso2010:IntroduzioneallaLogicaProposizionale
Daltestallalogica
Alcuni esempi di test 1
Se `e vero che “chi disprezza, compra,” sar`a necessariamente vera
anche una delle affermazioni seguenti:
(cid:73) chi non compra, non disprezza,
(cid:73) chi non compra, disprezza,
(cid:73) chi non disprezza, compra,
Percorso2010:IntroduzioneallaLogicaProposizionale
Daltestallalogica
Alcuni esempi di test 1
Se `e vero che “chi disprezza, compra,” sar`a necessariamente vera
anche una delle affermazioni seguenti:
(cid:73) chi non compra, non disprezza,
(cid:73) chi non compra, disprezza,
(cid:73) chi non disprezza, non compra,
Percorso2010:IntroduzioneallaLogicaProposizionale
Daltestallalogica
Alcuni esempi di test 1
Se `e vero che “chi disprezza, compra,” sar`a necessariamente vera
anche una delle affermazioni seguenti:
(cid:73) chi non compra, non disprezza,
(cid:73) chi non compra, disprezza,
(cid:73) chi non disprezza, non compra,
(cid:73) chi non disprezza, compra,
(cid:73) Anna `e bella e simpatica,
(cid:73) se Anna non `e bella, allora non `e simpatica,
(cid:73) non si d`a il caso che Anna non `e bella n´e simpatica,
(cid:73) Anna non `e bella o non `e simpatica.
Percorso2010:IntroduzioneallaLogicaProposizionale
Daltestallalogica
Alcuni esempi di test 2
Non si d`a il caso che Anna `e bella e simpatica. O,
equivalentemente...
(cid:73) se Anna non `e bella, allora non `e simpatica,
(cid:73) non si d`a il caso che Anna non `e bella n´e simpatica,
(cid:73) Anna non `e bella o non `e simpatica.
Percorso2010:IntroduzioneallaLogicaProposizionale
Daltestallalogica
Alcuni esempi di test 2
Non si d`a il caso che Anna `e bella e simpatica. O,
equivalentemente...
(cid:73) Anna `e bella e simpatica,
(cid:73) non si d`a il caso che Anna non `e bella n´e simpatica,
(cid:73) Anna non `e bella o non `e simpatica.
Percorso2010:IntroduzioneallaLogicaProposizionale
Daltestallalogica
Alcuni esempi di test 2
Non si d`a il caso che Anna `e bella e simpatica. O,
equivalentemente...
(cid:73) Anna `e bella e simpatica,
(cid:73) se Anna non `e bella, allora non `e simpatica,