Luokat: Kaikki - lenguaje - proposiciones - operadores - jerarquía

jonka Jasmin Reátegui 5 vuotta sitten

383

SIMBOLIZACIÓN DE PROPOSICIONES

El texto aborda la representación y simbolización de proposiciones mediante el uso del lenguaje simbólico en lógica. Se destacan dos formas de implicación: directa e indirecta, y se explican los diferentes operadores lógicos como la conjunción, disyunción, condicional, y negación.

SIMBOLIZACIÓN DE PROPOSICIONES

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.