LA BODA

Cuando María preguntó a Carlos

si quería casarse con ella, este
contestó:
"No estaría mintiendo si te dijera que no puedo, no decirte
que es imposible negarte que si creo que es verdadero, que
no deja de ser falso que no vayamos a casarnos“.

María se mareó. ¿Puede ayudarla diciéndola si Carlos

quiere o no quiere casarse?
Carlos se quiere casar.
 LÓGICA
PROPOSICIONAL
 PARADOJA DEL QUIJOTE
Sancho Panza se convierte en
gobernador de la ínsula de
Barataria, en donde por ley, toda
persona que llega a esta ínsula,
debe explicar el motivo de su
viaje. Si la persona dice la
verdad, es puesta en libertad; si
la persona miente, deberá ser
colgada. Una persona llega a
Barataria y afirma: “Estoy aquí
para que me cuelguen”
¿Será o no colgada esta
persona?
 Formas del Pensamiento

Concepto Juicio Razonamiento

Es la forma mínima Es la forma del Es una operación

del pensamiento, es pensamiento en la discursiva por medio de
la representación cual se establece una la cual se obtiene un
mental que se relación determinante conocimiento nuevo,
designa de un objeto entre dos o más inferido, partiendo de un
sin afirmar ni negar conceptos. Los juicios conjunto de
nada de él. Todo se expresan por proposiciones. Se
concepto se medio de las explicita mediante
manifiesta en los proposiciones. argumentos.
términos.
 ORACIONES

•Declarativas o aseverativas: Son las que afirman o

niegan algo de alguien o algo.

•Expresivas o no aseverativas: son las que expresan

emociones, opiniones, pensamientos, etc.

Proposición
• Una proposición es una sentencia (oración)
correctamente formada que puede ser verdadera o
falsa
• Es una sentencia declarativa o aseverativa.
 No son Proposiciones
Son Proposiciones
•Personajes o hechos
literarios
•Enunciados •Supersticiones
aseverativos •Dudas, súplicas, deseos,
•Leyes científicas órdenes
•Fórmulas matemáticas •Refranes, proverbios
•Fórmulas lógicas •Enunciados abiertos
•Enunciados cerrados •Creencias religiosas
  •Enunciados interrogativos
•Apreciaciones personales
•Personajes ficticios,
absurdos.
 CONECTORES LÓGICOS

OPERADOR SÍMBOLO TÉRMINO ALGUNAS EXPRESIONES

REPRESENTATIVO EQUIVALENTES
1. Negación ~ no No es cierto que ….
Es falso que….
2. Conjuntor  ………y ……… …..así como ….
…..pero ….
…..tambien ….
3. Disyuntor  ………o ……… …..y/o ….
a) Inclusiva o débil …..o bien ….
 O….…o ……… …..o sólo ….
b) Exclusiva o fuerte .…salvo que únicamente…

4. Implicador → …..implica ….
Si….entonces… …..en consecuencia ….
…..luego ….
…..sólo si….

5. Replicador …….si……. …..dado que….
……, siempre que……

6. Biimplicador ↔ …si y solo si …. …..equivale a ….

…..siempre y cuando….
 Tipos de Proposiciones

Las
Proposiciones

Pueden ser

Simples o Compuestas

1.Simples o atómicas
Es una proposición que no contiene ningún conectivo lógico

2. Compuestas o moleculares
Es una proposición que contiene al menos un conectivo lógico
 FORMALIZACIÓN
Es el procedimiento mediante el cual se identifican proposiciones simples y
conectores lógicos quienes se enlazan formando fórmulas organizadas con
signos de agrupación.
A las proposiciones simples se les reemplaza por variables
proposicionales, tales como: p,q,r,s,t,u………

PROCEDIMIENTO DE FORMALIZACIÓN

Paso 1:Identificar proposiciones simples y asignarles variables en orden

alfabético.
Paso 2: Identificar los conectores lógicos.
Paso 3: Reemplazar las proposiciones simples por sus respectivas
variables.
Paso 4: Escribir la fórmula lógica.
EJEMPLO:
“Si la inundación destruye mi casa o el fuego destruye mi
casa, entonces mi compañía de seguros me pagará”.

Paso 1:
p = la inundación destruye mi casa
q = el fuego destruye mi casa
r = mi compañía de seguros me pagará

Paso 2:
“Si la inundación destruye mi casa o el fuego destruye mi casa,
entonces mi compañía de seguros me pagará”.

Paso 3: si p o q, entonces r
Paso 4: (p V q) r
 TÉRMINOS DEL LENGUAJE NATURAL
NEGADOR DISYUNTOR EXCLUYENTE O
FUERTE
Es falso que A”. O A o B.
“ es mentira que A”. O bien A o bien B.
“es inconcebible que A”. A o solamente B.
“no ocurre que A”. A o únicamente B.
“es refutable A”. A o solo B
CONJUNCIÓN DISYUNTOR INCLUYENTE O
DÉBIL
A Incluso B. A menos que B.
A al igual que B. A salvo que B.
A también B. A excepto B.
A tanto como B. A ya bien B.
A así como B. A o también B.
A al mismo tiempo B. A a no ser que B.
A sin embargo B. A o incluso B.
A aunque B. A o B.
A pero B. A o en todo caso B.
IMPLICADOR O REPLICADOR BIIMPLICADOR,
CONDICIONAL EQUIVALENCIA O
BICONDICIONAL

A implica B. A porque B. A si y solo si B.

Si A entonces B. Solo si A, B. A siempre y cuando B.
A por lo tanto B. A cada vez que B. A es lo mismo que B.
A luego B. A dado que B. A equivale a B.
Se supone A para B. A si B. A es condición
De A derivamos B. Tan solo si A entonces suficiente y necesaria
B. para B.
A por consiguiente B.
A se supone B. A es igual que B
A solo si B.
A puesto que B.
 Verdad Formal
La verdad formal es aquella que se obtiene evaluando esquemas
moleculares, haciendo uso de reglas de conectores lógicos y
tablas de verdad.

Esquemas moleculares
son fórmulas compuestas por variables, operadores lógicos y en algunos
casos signos de agrupación. Se clasifican en

A) En esquemas sin signos de agrupación, su clasificación la determina

el operador de mayor jerarquía. Veamos la jerarquía de Conectores lógicos.

Jerarquía 1 2 3 4 5 6
Operador   ;    ~
 B)En esquemas con signos de agrupación, su nombre lo determina el
conector principal que une bloques.

Esquemas moleculares por su matriz principal: Según los resultados

que se obtengan en la matriz principal en la tabla de verdad pueden ser
esquemas tautológicos, esquemas contingentes y esquemas
contradictorios.

Tablas de verdad
Es un conjunto ordenado de valores de verdad de proposiciones
compuestas, que resultan de la aplicación de reglas de los conectores
lógicos sobre los valores de verdad de las proposiciones simples que
las componen.

El número de valores de verdad que se asigna a cada proposición

simple o compuesta es 2n, donde “n” es el número de variables que
hay en la fórmula. Así tenemos:
 Proposiciones Compuestas Básicas
DISYUNCIÓN
CONJUNCIÓN (INCLUSIVA)
NEGACIÓN
p q p  q p q p  q
p p
V V V V V V
V F V F F V F V
F V F V F F V V
F F F F F F
DISYUNCIÓN
CONDICIONAL BICONDICIONAL
(EXCLUSIVA)
p q p  p q p 
p Q p  q q q
V V F V V V V V V
V F V V F F V F F
F V V F V V F V F
F F F F F V F F V
 FÓRMULAS LÓGICAS
Evaluar una proposición compuesta es determinar
el grado de validez de la misma, para sus distintos
valores. Se presentan tres casos:

1. TAUTOLOGÍA
Se llama así a la proposición compuesta
en la cual los valores de verdad de su
conectivo principal son todos verdaderos.

2. CONTRADICCIÓN
Cuando los valores de verdad de su
conectivo principal resultan siempre falsa.

3. CONTINGENCIA
Se llama así a la proposición compuesta que no es
tautología ni contradicción, es decir su conectivo
principal presenta al menos una verdadera (V) y al
menos una falsa (F).
GRACIAS