Problema su tabelle di verità
Considerate tre proposizioni $P,R,Q$ scrivere la tabella di verità $(P->R) AND (bar P -> Q)$
Stabilire se proposizione $AA s in NN EE b in ZZ : AA c in RR : 2s + 3c -b != 0$
Qualcuno mi dà una mano su come impostare l'esercizio?
Grazie
Stabilire se proposizione $AA s in NN EE b in ZZ : AA c in RR : 2s + 3c -b != 0$
Qualcuno mi dà una mano su come impostare l'esercizio?
Grazie
Risposte
"first100":
Considerate tre proposizioni $P,R,Q$ scrivere la tabella di verità $(P->R) AND (bar P -> Q)$
Qualcuno mi dà una mano su come impostare l'esercizio?
Hai provato a scrivere la tabella di verità?
tabelle della verità:
P - > R |
__________
0 0 1
0 1 1
1 0 0
1 1 1
~P - > Q |
__________
0 0 0
0 1 1
1 0 1
1 1 1
la AND fra le due dà:
0
1
0
1
poi non so come andare avanti.
N.B.: Non ho trovato nessun tag per formattare le tabelle di verità quindi spero siano leggibili.
P - > R |
__________
0 0 1
0 1 1
1 0 0
1 1 1
~P - > Q |
__________
0 0 0
0 1 1
1 0 1
1 1 1
la AND fra le due dà:
0
1
0
1
poi non so come andare avanti.
N.B.: Non ho trovato nessun tag per formattare le tabelle di verità quindi spero siano leggibili.
Ma hai P, Q, R. Quindi 8 combinazioni.
Non dovrei fare prima le implicazioni si due tabelle di verità separate e poi la AND?
(Ho corretto la prima tabella di verità che è P -> R e non P->Q)
(Ho corretto la prima tabella di verità che è P -> R e non P->Q)
"first100":
Non dovrei fare prima le implicazioni si due tabelle di verità separate e poi la AND?
(Ho corretto la prima tabella di verità che è P -> R e non P->Q)
La domanda dice "la tabella". Hai provato a fare una sola tabella?
Magari con un bel po' di colonne.
Magari mettere le intestazioni alle colonne non sarebbe una cattiva idea ...
"first100":
N.B.: Non ho trovato nessun tag per formattare le tabelle di verità quindi spero siano leggibili.
| p | r | p -> r |
|---|---|---|
| 1 | 1 | 1 |
| 0 | 0 | 1 |
C'è il tasto TABLE
A=P->R
B=~P
C=~P->Q
D=P->R AND ~P->Q
P R Q| A | B | C | D
---------------------------------------------
0 0 0 | 1 | 1| 0 | 0
0 0 1 | 1 | 1| 1 | 1
0 1 0 | 1 | 1| 0 | 0
0 1 1 | 1 | 1| 1 | 1
1 0 0 | 0 | 0| 1 | 0
1 0 1 | 0 | 0| 1 | 0
1 1 0 | 1 | 0| 1 | 1
1 1 1 | 1 | 0| 1 | 1
B=~P
C=~P->Q
D=P->R AND ~P->Q
P R Q| A | B | C | D
---------------------------------------------
0 0 0 | 1 | 1| 0 | 0
0 0 1 | 1 | 1| 1 | 1
0 1 0 | 1 | 1| 0 | 0
0 1 1 | 1 | 1| 1 | 1
1 0 0 | 0 | 0| 1 | 0
1 0 1 | 0 | 0| 1 | 0
1 1 0 | 1 | 0| 1 | 1
1 1 1 | 1 | 0| 1 | 1
Ci sono un paio di errori nella B ... magari metti anche la colonna $not P$, che è meglio ... 
Corretti i due errori ed aggiunta la colonna p negato
Ok ma non lì 
Chiaramente puoi metterle dove vuoi le colonne però è sempre meglio ordinarle in modo conveniente
Peraltro $D$, a quel punto, l'avrei definito come $D = A ^^ C$, sempre per avere meno confusione ... IMHO
Chiaramente puoi metterle dove vuoi le colonne però è sempre meglio ordinarle in modo conveniente
Peraltro $D$, a quel punto, l'avrei definito come $D = A ^^ C$, sempre per avere meno confusione ... IMHO
ok ma a prescindere dalla tabella, poi come si procede nell'esercizio?
A=P->R
B=~P
C=~P->Q
D=A AND C
P R Q| A | B | C | D
---------------------------------------------
0 0 0 | 1 | 1| 0 | 0
0 0 1 | 1 | 1| 1 | 1
0 1 0 | 1 | 1| 0 | 0
0 1 1 | 1 | 1| 1 | 1
1 0 0 | 0 | 0| 1 | 0
1 0 1 | 0 | 0| 1 | 0
1 1 0 | 1 | 0| 1 | 1
1 1 1 | 1 | 0| 1 | 1
A=P->R
B=~P
C=~P->Q
D=A AND C
P R Q| A | B | C | D
---------------------------------------------
0 0 0 | 1 | 1| 0 | 0
0 0 1 | 1 | 1| 1 | 1
0 1 0 | 1 | 1| 0 | 0
0 1 1 | 1 | 1| 1 | 1
1 0 0 | 0 | 0| 1 | 0
1 0 1 | 0 | 0| 1 | 0
1 1 0 | 1 | 0| 1 | 1
1 1 1 | 1 | 0| 1 | 1
Ma l'hai scritta la tabella, no?
eh sì
l'ho scritta
l'ho scritta
E quindi cosa intendi per "procedere nell'esercizio" ?
C'era anche questo:
Stabilire se proposizione $AA s in NN EE b in ZZ : AA c in RR : 2s + 3c -b != 0$
Stabilire se proposizione $AA s in NN EE b in ZZ : AA c in RR : 2s + 3c -b != 0$
Nello stesso esercizio? Idee tue? Presumo che tu abbia già visto una proposizione in quel formato e quindi conosca il significato dei simboli, vero?
si stava nello stesso esercizio, so leggere i simboli ma non so come impostare l'esercizio e cosa devo dimostrare
Ma avrai qualche idea, no?
Qual è il testo preciso, preciso? Perché in quello che hai scritto nel primo post manca il verbo ...
Comunque presumo che tu debba solamente stabilire se è vera oppure no ...
Penso anche che qualche esercizio, probabilmente più semplice di questo, l'abbiate fatto: cosa avete fatto in quel caso?
Qual è il testo preciso, preciso? Perché in quello che hai scritto nel primo post manca il verbo ...
Comunque presumo che tu debba solamente stabilire se è vera oppure no ...
Penso anche che qualche esercizio, probabilmente più semplice di questo, l'abbiate fatto: cosa avete fatto in quel caso?
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo