UNIDAD III.

“CALCULO PROPOSICIONAL”
 NOCIONES DE PROPOSICION VALORES VERITATIVOS.

Es una expresión con valor referencial o

informativo, de la cual se puede formular su
veracidad o falsedad; es decir, que puede ser falsa
o verdadera pero no ambas a la vez.
 SIMBOLOS

Los símbolos son representaciones icónicas que

representan ideas o conceptos. Un símbolo es un
signo.

Muchas veces los símbolos resultan ser

abstractos y es necesaria la elaboración de un
pensamiento que se encuentra enmarcado en
una determinada sociedad y en un momento
especifico para su comprension.
 TIPOS DE SIMBOLOS

PROPIOS.

a. Variable Proposicional.
Una variable proposicional es una variable discreta
que puede ser verdadera o falsa. Las variables
proposicionales son los bloques de construcción
básicos de las fórmulas proposicionales, usadas en
lógica proposicional y en lógicas superiores.
 TIPOS DE SIMBOLOS

Para simbolizar las proposiciones simples se utilizan

las letras minúsculas del alfabeto a partir de la “p” (p,
q, r, s, t, u, v, a, b, c, …). Estas letras se denominan
variables proposicionales porque se utilizan para
representar a cualquier proposición del lenguaje
natural.
p cualquier proposición

1 verdadera

0 falsa
 TIPOS DE SIMBOLOS

PROPIOS.
b. Operadores: Diádicos.
 El conjuntivo: es la conjunción “y”. Su símbolo es
“^”.
El disyuntivo: es la conjunción “o”. Puede ser
inclusivo y exclusivo. El símbolo del inclusivo es “v”;
el del exclusivo es “ = ”.
El condicional: es la conjunción compuesta “si…
entonces”. Su símbolo es “ ”.
El bicondicional: es la conjunción compuesta “si y
solo si”. Su símbolo es “ ”.
 TIPOS DE SIMBOLOS

b. Operadores: monódicos.

La negación, simbolizada por “~” es el único

operador monódico. Luego lo simbolizaremos con el
signo “(“.
 TIPOS DE SIMBOLOS

De puntuación. ( ), [ ], { }

Signos impropios

no conectivos
De operación.
conectivos
TIPOS DE SIMBOLOS
 REGLA DE FORMACION

Una fórmula es una secuencia de símbolos. Puede

ser de dos tipos atómicas y molecular, pero es
preciso delimitar de la totalidad de combinaciones
posibles de caracteres aquellas que sean como "bien
formadas"; para ello, damos la siguiente definición de
lo que es una fórmula bien formada, (o fbf).
 REGLA DE FORMACION
1. Toda variable proposicional (p,q,r,s) es una (FBF).
2. Si “p” es una FBF, entonces “-p” es también una FBF.
3. Si “p y q” son FBF, entonces “p mayor que q” , “p menor que q” etc. Son
igualmente FBF.
4. Una cadena de símbolos es una FBF si y solo si se sigue de la aplicación de
R1,R2 y R3.
5. Una formula lógica esta bien formada si y solo si s existe una jerarquía
claramente establecida entre sus operadores.
6. Una FBF tiene un nombre y este depende de su operador de mayor jerarquía.
7. El operador de mayor jerarquía es aquel que esta libre de los signos de
agrupación “(), [], {}”.
8. Los signos de agrupación se usan cuando su omisión hace ambigua una
formula.
9. Los operadores didácticos tienen mayor jerarquía que el operador monádico.
10. El operador negativo se escribe antes y no después de una formula.
11. El operador negativo se escribe entre dos formulas, si no inmediatamente a la
derecha de un operador diádico.
12. Si un operador negativo antecede a otro operador igualmente negativo,
entonces el de la izquierda tiene mayor jerarquía.
 TABLA DE VERDAD

Es una tabla que muestra el valor de verdad de una

proposición compuesta, para cada combinación de
valores de verdad que se pueda asignar a sus
componentes. La tabla de los "valores de verdad", es
usada en el ámbito de la lógica, para obtener la verdad
(V) o falsedad (F), valores de verdad, de una expresión o
de una proposición. Además sirven para determinar si es
que un determinado esquema de inferencia es
formalmente válido como un argumento, llegando a la
conclusión de que este es una tautología.
 FORMAS TAUTOLÓGICAS

Se denomina tautología una proposición que es cierta para

cualquier valor de verdad de sus componentes. Es decir,
hace referencia a una fórmula bien formada que resulta
verdadera desde cualquier interpretación. Por tanto, la última
columna de su tabla de verdad estará formada únicamente
por unos.
 Contradictorias

 contradicción es una incompatibilidad entre dos o

más proposiciones. Por ejemplo, las oraciones
«llueve y no llueve» y «ni llueve ni truena, pero
llueve y truena» expresan contradicciones.
 Empírico

Que está basado en la experiencia y en la observación

de los hechos.
Lógica empírica

Ciencia empírica

Filosofía empírica
 Método abreviado

El método abreviado simplifica el uso de la tabla de

valores para lo cual se debe seguir un conjunto de
reglas
1 suponer que la conclusión es falsa.

2 suponer que todas las premisas son verdaderas.

3 partiendo de la conclusión se determinan los

valores de verdad p,q,r.
 Método abreviado

4 los valores de verdad hallados en la conclusión se

trasladan a la primera premisa de preferencia y luego a
la segunda y tercera etc.

5 si los valores de verdad p,q,r. toman un solo valor, la

inferencia es no valida.

6 basta que una de las variables (p,q,r) tomen dos

valores de verdad, entonces la inferencia sera valida.
 UNIDAD IV.

“DEMOSTRACION DE VALIDEZ DE LAS

ESTRUCTURAS DE LOS RAZONAMIENTOS”
 CONDICIONAL ASOCIADO

Antecedente
Realización de la
tabla de la verdad Consecuente

Demostración de
validez
 Método demostrativo

El método demostrativo, como su nombre lo indica,

trata acerca de inferir, aprender o comprender
mediante las demostraciones o premisas que uno
recibe.
 Método demostrativo

• Reglas de inferencia
La inferencia es el proceso por el cual se derivan
conclusiones mediante premisas o
demostraciones. La inferencia posee reglas y
fundamentos que nos permiten formularnos ideas y
conclusiones mediante las premisas que recibimos
en un enunciado, dependiendo de si estas son
falsas o verdaderas.
 Método demostrativo

El Modus Ponens

Cuando tenemos un enunciado en el cual se nos presenta

una premisa y una conclusión, si sabemos que su premisa
es verdadera, podemos inferir lógicamente que su
conclusión igualmente es verídica. También, en caso de una
premisa verídica, podemos influir una conclusión lógica
que esté relacionada, la cual sería acertada si es lógica y si
la premisa en cuestión es verdadera.

Su fórmula es: ((P = Q) ^ P) = Q