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

Exercicis de lògica

De Matawiki
(Diferència entre revisions)
Dreceres ràpides: navegació, cerca
(preguntes exercics valdesa)
(respostes exercicis valids i solids)
 
Línia 285: Línia 285:
  
 
1- Avui plou per conseqüent avui plou
 
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
+
 
 +
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.
 
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.
 
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.
 
5- Si avui és dimecres això és Catalunya. Això no és Catalunya, per conseqüent avui no és dimecres.
  
 +
 +
RESPOSTES
 +
 +
1- <b>p→q </b> ---------->  1p/0q ---------->  VÀLID i SÒLID
 +
 +
2- <b> [ (pVq) Λ¬pΛ¬q) ] →r  </b> ---------->  1pVq, 1¬p, 1¬q / 0r ---------->  VÀLID i NO SÒLID
 +
 +
3- <b>[ (p→q) Λp ] →q </b> ---------->  1p→q, 1p / 0q ---------->  VÀLID i SÒLID
 +
 +
4- <b>[ (¬pVq) Λ¬q ] →q </b> ---------->  1¬pVq, 1¬q / 0q ---------->  INVÀLID
 +
 +
5- <b> [ (p→q) Λ ¬q) ] → ¬p </b> ---------->  1p→q, 1¬q / 0¬p ---------->  VÀLID i SÒLID
 
[[Categoria:Ètica]]
 
[[Categoria:Ètica]]

Revisió de 22:08, 6 juny 2006

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