Lógica Proposicional 5to Secpptx

Lógica Proposicional
Def. Tiene como objetivo de estudio la proposición y la relación entre ellas.

ENUNCIADO
Toda frase u oración que expresa una idea.
Ejemplo:
11 es un número primo.
¿Qué hora es?
10=7+4
a) Enunciado abierto o función proposicional
Son Enumerados que contienen variables y no tienen la propiedad de ser verdadera o
falsa, hasta que a esta variable se le asigne un determinado valor.
b) Enunciado cerrado o proposicional lógica
Es toda expresión libre de ambigüedad, se pueden calificar como verdadero o falso pero no
ambos a la vez.
Ejemplo:
-9 es divisible por 4.
-Miguel Grau tuvo ulcera.
 9 < 10
NOTACIÓN
Se representan por letras minúsculas como: p, q, r, s.
Observación
-La proposición lógica tiene un valor de verdad universal.
-No son proposiciones: deseos, mandatos, interrogación y exclamación.
CONECTORES LOGICOS
Conectores lógicos
...y …
…o…
…o…o…
Si…entonces… →
…si solo si…
No… ~
CLASES DE PROPOSICION
a) Proposición simple o atómico

Es aquella proposición que no tiene conectores lógicos y tampoco adverbio de
negación(no).
b) Proposición compuesta o molecular
Tiene dos o mas proposición simples unidos mediante conectores lógicos o el
adverbio de negación.
Ejemplo:
-2 no es primo.
-5 es primo y 9 es par.
-El sol brilla y hace frío.
TABLA DE VERDAD
Una tabla
 se elabora teniendo en cuenta que para n proposiciones simples se
presentan posibilidades.
P
V Para 1 proposición
= = 2 valores.
F
P q
V V
Para 2 proposiciones
V F
= = 4 valores.
F V
F F
p q r
V V V
V V F
V F V
V F F Para 2 proposiciones
= = 8 valores.
F V V
F V F
F F V
F F F
FORMALIZACIÓN DE PROPOSICIONES O
PROPOSICIONES COMPUESTAS BÁSICAS
1) Negación(~)
Es aquella proposiciones que hace uso del adverbio negativo NO.
La negación consiste en cambiar el valor que tiene una proposición.
Tabla de verdad
P ~p
No p
V F No es cierto que p
F V
Ejemplo:
-2 es primo
-2 no es primo
-5 es par
-5 no es par
2)
 Conjunción()

Dos proposiciones se enlazan por medio del conectivo lógico “y”, expresiones
equivalentes.
Forma típica: …y…
Ejemplo
Darwin fue biólogo y Newton fue físico.
p q
Fórmula: p q.
p q
p q p q p no obstante q
V V V p además q
p ,sin embargo q
V F V
p cada vez que q
F V V p pero q
F F F p así mismo q
p también q
P igualmente q
3) DISYUNCIÓN DEBIL (INCLUSIVA)(V)
Dos proposiciones se enlazan por medio del conectivo lógico “o”, expresiones
equivalentes.
Forma típica: … o …
Ejemplo
Liz es deportista o cantante
p V q
Fórmula: p V q
Tabla de verdad p q
p a menos que q
<
p q pVq p salvo que q
V V V p o de lo contrario q
p excepto q
V F V p o en tal sentido q
F V V p como q
p y/o q
F F F
4)
 Disyunción
fuerza “excluyente”
Dos proposiciones se enlazan por medio del conectivo lógico “o..o…”
Ejemplo:
O viajas por tierra o por aire.
p q
Fórmula: p q
Tabla de verdad
p q p q o p q
V V F p no equivale a q
p es diferente a q
V F V ya bien p ya bien q
F V V ya sea p ya sea q
F F F p excluya a q
5) Condicional directa(→)
Dos proposiciones se enlazan por medio del conectivo lógico si...entonces,
expresiones equivalentes.
Forma típica: si…, entonces…
Ejemplo:
Si estudias, entonces ingresas.
p → q
Fórmula: p → q
Tabla de verdad
p q p→q
V V V Si p entonces q
V F F p implica q
F V V p dado que q
F F V
6) Bicondicional (↔)
Dos proposiciones se enlazan por medio del conectivo lógico … si, solo si …,
expresiones equivalentes.
forma típica: … si, solo si …
Ejemplo:
Es un cuadrilátero si, solo si tienen 4 lados.
p ↔ p
Fórmula: p ↔ q
Tabla de verdad
p q p↔q
V V V p es condición
V F F necesaria y
F V F suficiente para q
F F V
JERARQUIA
1. LLAVES
2. CORCHETES
3. PARENTESIS
a. Bicondicional
b. Disyunción fuerte
c. Condicional
d. Conjunción y disyunción
e. Negación
ESQUEMA MOLESCULAR O FORMULA PROPOSICIONAL
Es la combinación de variables proposicionales, conectivo lógicos y signos de
agrupación.
Ejemplo:
~(p V q) → (~p ↔ q)
CONECTIVO PRINCIPAL
Es el conectivo lógico de mayor jerarquía
Ejemplo:
~(p V q) → (~p ↔ q)
El conectivo principal es la condicional
MATRIZ PRINCIPAL
Es el conjunto de valores que se obtiene del conectivo principal
Ejemplo:
p q ~ (p v p) ↔ (~p ↔ q)
V V F V V V V F F V
V F F V V F F F V F
F V F F V V F V V V
F F V F F F F V F F
MATRIZ PRINCIPAL
CLASIFICACIÓN O EVALUACIÓN
a) Tautología: cuando el valor de verdad de la matriz principal son todos
verdaderos.
b) Contradictorio: El valor de verdad de la matriz principal son todos falsos
c) Contingencia: cuando no es tautología ni contracción.
A S
E M S E
B L L A
RO A C
P L
R A
PA
¿Cuáles de los siguientes enunciados son proposiciones
lógicas?
a) 7, 12 y 15 son números enteros
b) Si 3x < 13 entonces X es igual a –4
c) Richard y su hija son peruanos
d) ¿Quién es el Presidente del Perú?
e) Es la ciudad más bella del Perú.

Realiza la tabla de valor de verdad del siguiente esquema molecular.
~(pq) ↔ ∼[(~q) → (~p)] e indica si es tautológico contradictorio o
contingente.
Simboliza las siguientes proposiciones.
a) O José vendrá porque ha recibido la carta o no está
interesado en el nuevo trabajo.
b) Si no es el caso que Marcos sea comerciante y un

próspero industrial, entonces es ingeniero o no es
comerciante.
Si la proposición compuesta: (~p ∧ q) → (q ∧ s)
Es falsa, determina el valor de verdad de la siguiente
proposición: (q ↔ s) ∨ p
Si la proposición: (~p ∨ q) ∨ (r → s) es falsa. Determina el valor de
verdad de las siguientes proposiciones:
a) (~p Δ q) → r
b) (r ↔ q) ∧ (~q ∨ ~p)
Si la siguiente proposición lógica compuesta es falsa,
determina el valor de verdad de cada proposición. Si Orlando
trabaja, entonces puede estudiar o comprarse un televisor
nuevo.
Si la proposición: ~[p ∧ (q ↔ p)] es falsa. b) (q ∨ ~p) ↔ q
Determina el valor de verdad en cada caso.
~[p ∧ (q ↔ p)]F
c) ~[p → (q ∧ p)]
a) (p → q) ∨ q
a > 0 y b < 0, determina el valor de verdad de las
Si
siguientes proposiciones:
I) <
II) =
III) =
Determine el valor de verdad de las siguientes preposiciones:
I) Si x ≤ 4, entonces x = 8
II) Caral es la ciudad más antigua del Perú.
III) BID significa Banco Internacional de Desarrollo

p = V ; q = V y r = F Los valores de las proposiciones
Si
siguientes son:
a) [(~p → q) r] ↔ q ......( )
b) (~p ∨ q) → (~r ∧ ~q) ...( )

Lógica Proposicional 5to Secpptx

Cargado por

Copyright:

Formatos disponibles

Lógica Proposicional 5to Secpptx

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lógica Proposicional 5to Secpptx

Cargado por

Copyright:

Formatos disponibles

Lógica Proposicional

Def. Tiene como objetivo de estudio la proposición y la relación entre ellas.

a) Proposición simple o atómico

b) Si 3x < 13 entonces X es igual a –4

c) Richard y su hija son peruanos

d) ¿Quién es el Presidente del Perú?

e) Es la ciudad más bella del Perú.

b) Si no es el caso que Marcos sea comerciante y un

II) Caral es la ciudad más antigua del Perú.

III) BID significa Banco Internacional de Desarrollo

b) (~p ∨ q) → (~r ∧ ~q) ...( )

También podría gustarte