Deduzione di un V-enunciato (relativo a L)

(1) “Albino è iroso e Albino non è svagato e Bianca non è irosa e Bianca è svagata” è vero sse “Albino è iroso” è vero e “Albino non è svagato” è vero e “Bianca non è irosa” è vero e “Bianca è svagata” è vero (per R3)
(2) “Albino è iroso e Albino non è svagato e Bianca non è irosa e Bianca è svagata” è vero sse “Albino è iroso” è vero e “Albino è svagato” non è vero e “Bianca è irosa” non è vero e “Bianca è svagata” è vero (per R2)
(3) “Albino è iroso e Albino non è svagato e Bianca non è irosa e Bianca è svagata” è vero sse Albino € all’insieme degli irosi e Albino non € all’insieme degli svagati e Bianca non € all’insieme degli irosi e Bianca € all’insieme degli svagati (per R1 e gli assiomi referenziali)
Dunque,
(4) “Albino è iroso e Albino non è svagato e Bianca non è irosa e Bianca è svagata” è vero sse Albino è iroso e Albino non è svagato e Bianca non è irosa e Bianca è svagata” (per riformulazione linguistica di (3))

Nessun commento »

Lascia un commento

  a.voltolini

Alberto Voltolini e Carola Barbero, docenti dell'Università di Torino, sono gli autori di questo testo digitale, risultato di quattro anni di insegnamento presso la Facoltà di Scienze della Comunicazione e dell'Economia dell'Univerità di Modena e Reggio Emilia. Per saperne di più leggi la presentazione.