SIMBOLIZACIÓN DE PROPOSICIONES

Representación del lenguaje ordinario mediante el lenguaje simbólico

Algunos términos y operadores lógicos

Negación (~): no; jamás; nunca; tampoco; no es cierto que; etc.

Conjunción (∧): y; pero; sin embargo; además; también; tanto...como...; etc.

Disyunción (∨): ...o...; o...o...; ...u...

Bicondicional (↔): si y solo si; cuando y solo cuando; si y solamente si; etc.

Condicional (→)

Jerarquía de la negación

Criterios

Los signos de puntuación

Ejemplo:
No ocurre que p y q, a pesar de que r.

~(p^q)^r

Si la negación va antecediendo a otro operador lógico

Ejemplo:
No ocurre que si p, q.

~(p → q)

El modo del verbo

Ejemplo:
No ocurre que tenga miedo porque haya visto la película.

~(p→q)

No ocurre que tenga miedo porque vi la película

(p→~q)

Criterios

Reconocer las proposiciones simples y asignarles variables proposicionales (p, q, r,...).

Destacar la estructura formal que es el conjunto de expresiones que funcionan como conectivas entre enunciados.

Reemplazar los enlaces por operadores lógicos teniendo en cuenta la jerarquía.

Interpretación de los signos de puntuación

Otros operadores o el alcance de los operadores

Expresiones

p, q y r

p, q o r

Si no p, no q

p y q, o r si s

Simbolización

p ∧ q ∧ r

p ∨ q ∨ r

~p → ~q

Subtema

Disyunción

Condicional

Jerarquía

Conjunción

Directo (p→q): si p entonces q; si p, q; cuando p, q; p. Por lo tanto q; etc.

Indirecto (q→p): p si q; p cuando q; p de q; p ya que q; p pues q; etc.