Lógica matematica

[pic 1][pic 2][pic 3][pic 4][pic 5][pic 6][pic 7]

Nombre: Aide Calva               Curso: 3ro “BGU”            Segundo Quimestre[pic 8][pic 9]

Tarea

(p→q) → (r^s) → Esquema bicondicional

{[(p→q) v (r^s) ↔ [(rvs) → (t^u)]} →  Esquema bicondicional

p→q → r^s → Esquema conjuntivo

p→q v r^s ↔ rvs → t^u →Esquema disyuntivo

Tarea

Signos de puntuación y agrupación

1) p ^ q ^ r= [(p ^ q) ^ r]

2) p → q → r →= [(p→q→) r→]

3) p → qvr= [p → (qvr)]

4) pvq → r ↔svt = [(pvq) → r ↔ (svt])

5) p ^ q ^ s v t = [(pvq) ^s] v t

6) p v q → r ^ svt ↔ u= {(pvq) → [(r^s) v t]} ↔u

Tarea

Dadas las siguientes proposiciones matemáticas, incluir el paréntesis

1. Disyunción x ≠0 v x>y ^ y=z    :      x≠0 v(x>y ^ y=z)

                P v (q ^ r)

2. Condicional x=0 → x > y ^  y≠z   :   [x=0 → x>y ^ y]=z

3. Condicional x=0 v x≠0^ y →z  :       [(x=0  v  x≠0) ^ y] → z

        [(p v q) ^ r]→ s

4. Condicional  x > y ^ x ↔ y → z >      :    Condicional (z > y ^ x) ↔ (y → y > z)

5. Conjunción  x=0 ^ x>0 → y=0

6. Condicional

7. Conjunción  

[pic 10][pic 11]

En la proposición compuesta p ^ (p^r) el conector principal es ^

En la proposición compuesta p v q el conector principal es v

En la proposición compuesta p → (q v r)  el conector principal es →

En la proposición compuesta [(p→q) ↔ (r^s)] el conector principal es ↔

[pic 12][pic 13]

...