Proposiciones singulares y proposiciones generales

2501 palabras 11 páginas
4.1 Proposiciones Singulares y Proposiciones Generales.
I. Traducir cada una de las siguientes oraciones a la notación lógica de las funciones proposicionales y los cuantificadores, usando en cada caso abreviaciones que se sugieren de modo que cada forma comience con un cuantificador y no con un símbolo de negación.
3.- Los niños están presentes. (Nx:x es un niño.Px:x está presente)
(∀x)Nx ⊃Px
6.- Solo los propietarios pueden votar en las elecciones municipales especiales. (Px: x es propietario, Vx: x puede votar.)
∀xPx⊃Vx
9.- No todo lo que brilla es oro (Bx: x brilla, Ox: x es oro) x[Bx Ox]
12.- Ningún visitante se quedó a cenar. (Vx: x es un visitante. Qx: se quedó a cenar)
(∀x)Vx⊃∼Qx
15.- Ningún abrigo es impermeable a
…ver más…
Algunos mentirosos son periodistas. Por lo tanto, algunos periodistas son embusteros. (Mx, Ex, Px)

1) (∀x)Mx⊃Ex
2) (∃x)Mx∧Px/∴(∃x)Px∧Ex
3) My⊃Ey 1,(U.I.)
4) My∧Py 2,(E.I.)
5) My 4,(Simp.)
6) Ey 3,5,(M.P.)
7) Py∧ My 4,(Conm.)
8) Py 7,(Simp.)
9) Py∧Ey 8,6,(Conj.)
10) ∃xPx∧Ex 9,(E.G.)

8.- No hay uniformes lavables. No hay terciopelos lavables. Por lo tanto, no hay uniformes de terciopelo. (Ux,Lx,Tx).
1. (∀x)Ux⊃Lx
2. ∀xTx⊃∼Lx/∴∀xUx⊃∼Tx
3. Uw⊃∼Lw 1,UI
4. Tw⊃∼Lw 2,UI.
5. Uw supuesto.
6. Lw 3,5,MP.
7. ∼∼Lw DN,6.
8. ∼Tw 4,7,MT.
9. Uw⊃∼Tw

Documentos relacionados

  • Argumentos Y Proposiciones
    797 palabras | 4 páginas
  • Semantica Y Sintaxis De Proposiciones
    3636 palabras | 15 páginas
  • Semantica Y Sintaxis De Proposiciones
    3621 palabras | 15 páginas
  • Proposiciones Negativas
    644 palabras | 3 páginas
  • Proposiciones Descriptivas
    2989 palabras | 12 páginas
  • Formas Elementales Del Pensamiento (Juicio, Proposiciones y Raciocinismos)
    1624 palabras | 7 páginas
  • Las Proposiciones Derivadas Y Los Cuantificadores Logicos
    819 palabras | 4 páginas
  • Proposiciones indicativas
    3106 palabras | 13 páginas
  • Argumentos Y Proposiciones
    805 palabras | 4 páginas
  • Proposiciones condicionales y equivalencia lógica.
    2132 palabras | 9 páginas