Pages: [1]   Go Down
Print
Author Topic: Esercizio 6 Logica  (Read 473 times)
0 Members e 1 Utente non registrato stanno visualizzando questa discussione.
Syndrome97
Matricola
*
Offline Offline

Gender: Male
Posts: 26



« on: 26-02-2017, 18:32:09 »

Salve!

Dimostrare che tutti gli assiomi del calcolo proposizionale sono tautologie.

Qualcuno potrebbe darmi un hint per cominciare a dimostrare? Grazie!
Logged

A book should serve as the ax for the frozen sea within us.
-Franz Kafka
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.622



WWW
« Reply #1 on: 27-02-2017, 15:36:25 »

Qual e' la definizione di tautologia?
Logged
Syndrome97
Matricola
*
Offline Offline

Gender: Male
Posts: 26



« Reply #2 on: 27-02-2017, 20:29:28 »

Qual e' la definizione di tautologia?

Una tautologia è una fbf il cui valore di verità è sempre 1, indipendentemente dall'assegnamento che do alle variabili proposizionali.
Logged

A book should serve as the ax for the frozen sea within us.
-Franz Kafka
Syndrome97
Matricola
*
Offline Offline

Gender: Male
Posts: 26



« Reply #3 on: 27-02-2017, 20:56:47 »

Hm stavo pensando, probabilmente sarà sbagliato, che magari dovrei prendere gli assiomi e verificare tramite le tabelle di verità che effettivamente qualsiasi assegnamento io faccia, esso è comunque una tautologia. Mi sbaglio?
Logged

A book should serve as the ax for the frozen sea within us.
-Franz Kafka
Franco Barbanera
Moderator
Forumista Eroico
*****
Offline Offline

Posts: 2.622



WWW
« Reply #4 on: 28-02-2017, 11:59:55 »

Hm stavo pensando, probabilmente sarà sbagliato, che magari dovrei prendere gli assiomi e verificare tramite le tabelle di verità che effettivamente qualsiasi assegnamento io faccia, esso è comunque una tautologia. Mi sbaglio?

Esatto.
Logged
Syndrome97
Matricola
*
Offline Offline

Gender: Male
Posts: 26



« Reply #5 on: 28-02-2017, 14:02:43 »

Hm stavo pensando, probabilmente sarà sbagliato, che magari dovrei prendere gli assiomi e verificare tramite le tabelle di verità che effettivamente qualsiasi assegnamento io faccia, esso è comunque una tautologia. Mi sbaglio?

Esatto.

Grazie mille!
Logged

A book should serve as the ax for the frozen sea within us.
-Franz Kafka
Pages: [1]   Go Up
Print
Jump to: