Soluzione tabella della verità.

Mike15
Ciao a tutti. Vorrei che mi aiutaste con questo problema.
Considerare la proposizione: "Non è vero che mio zio ha la casa in montagna o al mare", trasformarla in una proposizione del tipo " Mio zio ha...". Porre "p": mio zio ha la casa in montagna, "q": mio zio ha la casa al mare. Scrivere simbolicamente le due proposizioni composte sopra esaminate.
Ditemi se le ho messe bene, o se no correggietemi: nonp V q = p V q.
Non ho capito come si fa in questo caso la tabella della verità.

p:vvff q:vfvf nonp:ffvv pvq:vvvf nonpvq: ? nonpvq=pvq: ?

La tabella ve l'ho messa così perché in colonna non veniva bene.

Da qui in poi non sò più andare avanti. Mi potreste dire come fare? Grazie mille!!!!!! :D

Risposte
codino75
"Mike":

nonp V q = p V q.


non ho capito da dove esce fuori questa uguaglianza

Mike15
Da NON è vero. non p si indicherebbe con una linietta sopra la p.

zorn1
La regola, come si vede con le tavole di verità, è che la negata della disgiunzione è la congiunzione delle negate mentre la negata della congiunzione è la disgiunzione delle negate.

Nel tuo caso sarebbe:

mio zio non ha la casa in montagna e non ha la casa al mare

o meno cacofonicamente:

mio zio non ha la casa né in montagna né al mare.

codino75
continuo a non capire.
il secondo membro indica che lo zio ha una casa al mare o in montagna.
non capisco il senso della uguaglianza. a che serve tale uguaglianza...
se puoi essere un po' piu' esplicito....
ciao alex

zorn1
La tabella può farsi così:

se $p,q$ sono proposizioni allora mostra che è una tautologia

$not (p vv q) iff not p ^^ not q$

costruendo la tavola (dai i valori V e F a p e q, sono 4 casi)

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.