jueves, 10 de diciembre de 2009
miércoles, 9 de diciembre de 2009
Lògica formal: la simbolització que encara no havíem fet a 1r. Batxillerat A
Més lògica formal: simbolització.
4. p condicional (q disjunció r).
8.[ (p disjunció q) conjunció [(p condicional r) conjunció (q condicional s) ]] bicondicional t.
12. [(p conjunció q) conjunció [(r condicional negador s) conjunció (s condicional negador r)]] condicional t.
13. (p bicondicional q) bicondicional [negador r [conjunció s disjunció t]]
4. p condicional (q disjunció r).
8.[ (p disjunció q) conjunció [(p condicional r) conjunció (q condicional s) ]] bicondicional t.
12. [(p conjunció q) conjunció [(r condicional negador s) conjunció (s condicional negador r)]] condicional t.
13. (p bicondicional q) bicondicional [negador r [conjunció s disjunció t]]
Cançó del dia
http://www.youtube.com/watch?v=UmcdBkI_QO4&feature=related Travessem l'oceà però no per anar al lloc més típic ...
martes, 8 de diciembre de 2009
Dues taules de veritat més per practicar
[p ↔ (q V r)] V (p → r). Resultat: taula contingent amb la 4a filera falsa.
[( p ↔ q) ^ [(p → q) ^ (q → p) ]] V r. Resultat: taule contingent, amb la 4a i la 6a filera falses.
[( p ↔ q) ^ [(p → q) ^ (q → p) ]] V r. Resultat: taule contingent, amb la 4a i la 6a filera falses.
viernes, 4 de diciembre de 2009
Primera pràctica taules de veritat
Algunes pràctiques (primera entrada del pont) de taules de veritat.
[(p^q)^ ¬ r) ^ (q↔¬p). Solució. Contradicció.
(p^q^r) → s. Solució. Totes vertaderes menys 1, la segona filera. (recordeu que en aquest cas tindríem 16 fileres i si no ens indiquen en quin ordre hem de fer les operacions sempre és d'esquerra a dreta, com ja estem habituats).
[(p ↔ q) ^ (r^¬p)] → ¬p. Solució. Tautologia.
[(p^q)^ ¬ r) ^ (q↔¬p). Solució. Contradicció.
(p^q^r) → s. Solució. Totes vertaderes menys 1, la segona filera. (recordeu que en aquest cas tindríem 16 fileres i si no ens indiquen en quin ordre hem de fer les operacions sempre és d'esquerra a dreta, com ja estem habituats).
[(p ↔ q) ^ (r^¬p)] → ¬p. Solució. Tautologia.
domingo, 29 de noviembre de 2009
Exercicis lògica formal correcció
Aquí teniu les correccions de les pràctiques de lògica formal. Disculpeu que no inclogui els signes lògics (és una matada anar inserint símbols) i el que teniu són els noms dels símbols.
Exercicis lògica formal: correcció
1.[(p↔q) ^ (p→r)] → (t ^ u)
2.(p conjunció q) disjunció r
3.(p conjunció 1) bicondicional r
4.p condicional (q conjunció r)
5.p condicional q conjunció negació r)
6.(p disjunció negació p) disjunció (p conjunció negació p)
7.(p conjunció q) condicional negació r
8.(p disjunció q) conjunció (p condicional negació r)
9.(p disjunció q) conjunció (q condicional r)
10.(p conjunció q) conjunció (r condicional negació s) o una altra opció (p conjunció q) conjunció [(p condicional negació q) conjunció (q condicional negació p)]
11.p condicional (q disjunció negació r)
12.(p disjunció q) conjunció (q condicional negació r).
13.p condicional (q conjunció r conjunció negació s).
14.p condicional (q disjunció r)
15.[(p condicional negació q) conjunció (r condicional negació s)] condicional negació t.
16.P condicional (q conjunció r).
17.(p conjunció q) condicional r.
18.[(p conjunció q) conjunció r] conjunció s.
19.(p disjunció negació p) conjunció [(p condicional q) conjunció (negació p condicional negació q).]
20.( p disjunció negació p) conjunció [( p condicional q) conjunció (negació p condicional negació q)]
21.(p conjunció q) conjunció [( r conjunció s) bicondicional negació t]
22.[(negació p condicional q) conjunció (p condicional negació q)] bicondicional r.
23.[(p disjunció q) disjunció (r conjunció s)] condicional t.
24.(p disjunció q) condicional (r conjunció s).
25.No la feu és més complicada del que farem de simbolització.
26.Negació (p conjunció q) condicional (r conjunció s).
27.[( p conjunció q) conjunció negació (r conjunció s)] condicional t.
28.(p disjunció q) bicondicional (r conjunció negació s).
29.[(p condicional q) conjunció (negació p condicional negació q)] condicional negació r.
30.[( p condicional q) conjunció (r condicional s)] condicional (t disjunció r).
31.[( p disjunció q) conjunció negació (r conjunció s)] condicional (negació t disjunció u).
32.(p condicional q) conjunció [(r condicional s) conjunció (t disjunció u)].
33.[(p condicional q) conjunció negació r] condicional (s conjunció t).
34.[(p conjunció q) disjunció (r conjunció negació s)] condicional t.
Exercicis lògica formal: correcció
1.[(p↔q) ^ (p→r)] → (t ^ u)
2.(p conjunció q) disjunció r
3.(p conjunció 1) bicondicional r
4.p condicional (q conjunció r)
5.p condicional q conjunció negació r)
6.(p disjunció negació p) disjunció (p conjunció negació p)
7.(p conjunció q) condicional negació r
8.(p disjunció q) conjunció (p condicional negació r)
9.(p disjunció q) conjunció (q condicional r)
10.(p conjunció q) conjunció (r condicional negació s) o una altra opció (p conjunció q) conjunció [(p condicional negació q) conjunció (q condicional negació p)]
11.p condicional (q disjunció negació r)
12.(p disjunció q) conjunció (q condicional negació r).
13.p condicional (q conjunció r conjunció negació s).
14.p condicional (q disjunció r)
15.[(p condicional negació q) conjunció (r condicional negació s)] condicional negació t.
16.P condicional (q conjunció r).
17.(p conjunció q) condicional r.
18.[(p conjunció q) conjunció r] conjunció s.
19.(p disjunció negació p) conjunció [(p condicional q) conjunció (negació p condicional negació q).]
20.( p disjunció negació p) conjunció [( p condicional q) conjunció (negació p condicional negació q)]
21.(p conjunció q) conjunció [( r conjunció s) bicondicional negació t]
22.[(negació p condicional q) conjunció (p condicional negació q)] bicondicional r.
23.[(p disjunció q) disjunció (r conjunció s)] condicional t.
24.(p disjunció q) condicional (r conjunció s).
25.No la feu és més complicada del que farem de simbolització.
26.Negació (p conjunció q) condicional (r conjunció s).
27.[( p conjunció q) conjunció negació (r conjunció s)] condicional t.
28.(p disjunció q) bicondicional (r conjunció negació s).
29.[(p condicional q) conjunció (negació p condicional negació q)] condicional negació r.
30.[( p condicional q) conjunció (r condicional s)] condicional (t disjunció r).
31.[( p disjunció q) conjunció negació (r conjunció s)] condicional (negació t disjunció u).
32.(p condicional q) conjunció [(r condicional s) conjunció (t disjunció u)].
33.[(p condicional q) conjunció negació r] condicional (s conjunció t).
34.[(p conjunció q) disjunció (r conjunció negació s)] condicional t.
Suscribirse a:
Entradas (Atom)
