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.


RESPOSTES

1- p→q ----------> 1p/0q ----------> VÀLID i SÒLID

2- [ (pVq) Λ¬pΛ¬q) ] →r ----------> 1pVq, 1¬p, 1¬q / 0r ----------> VÀLID i NO SÒLID

3- [ (p→q) Λp ] →q ----------> 1p→q, 1p / 0q ----------> VÀLID i SÒLID

4- [ (¬pVq) Λ¬q ] →q ----------> 1¬pVq, 1¬q / 0q ----------> INVÀLID

5- [ (p→q) Λ ¬q) ] → ¬p ----------> 1p→q, 1¬q / 0¬p ----------> VÀLID i SÒLID

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