IMPORTANT: Si us voleu donar d'alta, escriviu-nos a wiki@matadejonc.cat

Exercicis de lògica

De Matawiki
Dreceres ràpides: navegació, cerca

Alguns exercicis, començant pels exemples de n'Adrià.

Possibles exercicis amb taules de veritat

indeterminació:

p q r ¬p ¬q ¬r pΛq qVr p→q p←→q ¬r→(pΛq) (pΛq)Λ(qVr) (pΛq)→¬q
1 1 1 0 0 0 1 1 1 1 1 1 0
1 1 0 0 0 1 1 1 1 1 1 1 0
1 0 1 0 1 0 0 1 0 0 1 0 1
1 0 0 0 1 1 0 0 0 0 0 0 1
0 1 1 1 0 0 0 1 1 0 1 0 1
0 1 0 1 0 1 0 1 1 0 0 0 1
0 0 1 1 1 0 0 1 1 1 1 0 1
0 0 0 0 1 1 1 0 0 1 1 0 0

.....................................................contradicció.................... ........................................tautogia

p q r ¬p ¬q pVq ¬pΛ¬q (pVq)Λ¬pΛ¬q
1 1 1 0 0 1 0 0
1 1 0 0 0 1 0 0
1 0 1 0 1 1 0 0
1 0 0 0 1 1 0 0
0 1 1 1 0 1 0 0
0 1 0 1 0 1 0 0
0 0 1 1 1 0 1 0
0 0 0 1 1 0 1 0
[ (pVq) Λ¬pΛ¬q) ] →r
1
1
1
1
1
1
1
1


Consells: Revisat; és correcte.Jaume Bueno

Alguns exemples de consistència i inconsistència

Consistent

-Avui plou a Palma :p

-Ahir va nevara Alcúdia :q

-Avui fa vent a Ciutadella o hi plou :rνs

  • pΛqΛ(rVs) És consistent!

Inconsistent

-Na Maria ha comprat una casa :p

-La lògica m'encanta :q

-Na Maria no ha comprat una casa : ¬p

  • pΛ¬pΛq És inconsistent!

Digau quin d'aquests arguments són vàlid i dels vàlids quins són sòlids

PREGUNTES

1- Avui plou per conseqüent avui plou 2- Vendré a sopar o pendré una copa. No vendré a sopar. NO vendré a prendre una copa. Per conseqüent tots aprovarem lògica 3- Si en Joan ha insultat al Miquel es mereix que el castiguin. En Joan ha insultat al Miquel, per conseqüent mereix que el castiguin. 4- No hi ha electricitat o la bombeta està fossa. La bombeta no està fossa, per conseqüent hi ha electricitat. 5- Si avui és dimecres això és Catalunya. Això no és Catalunya, per conseqüent avui no és dimecres.

Eines de l'usuari
Espais de noms
Variants
Accions
Navegació
Escola
Imprimeix/exporta
Eines