Indirecto (q→p): p si q; p cuando q; p de q; p ya que q; p pues q; etc.
Directo (p→q): si p entonces q; si p, q; cuando p, q; p. Por lo tanto q; etc.
Conjunción
Jerarquía
Condicional
Disyunción
SIMBOLIZACIÓN DE PROPOSICIONES
Representación del lenguaje ordinario mediante el lenguaje simbólico
Interpretación de los signos de puntuación
Otros operadores o el alcance de los operadores
Simbolización
Subtema
~p → ~q
p ∨ q ∨ r
p ∧ q ∧ r
Expresiones
p y q, o r si s
Si no p, no q
p, q o r
p, q y r
Reemplazar los enlaces por operadores lógicos teniendo en cuenta la jerarquía.
Destacar la estructura formal que es el conjunto de expresiones que funcionan como conectivas entre enunciados.
Reconocer las proposiciones simples y asignarles variables proposicionales (p, q, r,...).
Jerarquía de la negación
Criterios
El modo del verbo
No ocurre que tenga miedo porque vi la película
(p→~q)
Ejemplo:
No ocurre que tenga miedo porque haya visto la película.
~(p→q)
Si la negación va antecediendo a otro operador lógico
Ejemplo:
No ocurre que si p, q.
~(p → q)
Los signos de puntuación
Ejemplo:
No ocurre que p y q, a pesar de que r.
~(p^q)^r
Algunos términos y operadores lógicos
Condicional (→)
Bicondicional (↔): si y solo si; cuando y solo cuando; si y solamente si; etc.
Disyunción (∨): ...o...; o...o...; ...u...
Conjunción (∧): y; pero; sin embargo; además; también; tanto...como...; etc.
Negación (~): no; jamás; nunca; tampoco; no es cierto que; etc.
