PUNTOS

PUNTOS
Ángela
Galbán

¿Qué es cálculo proposicional?

Se define como la ciencia que trata de los principios válidos del

razonamiento y la argumentación. Es el esfuerzo por determinar que
justifica a una persona para pasar de una proposición dada, llamadas
premisas, a una conclusión derivada de ella.

PUNTOS
 PUNTOS

PUNTOS
Ángela

Proposición Lógica
Galbán

Es el significado de una idea, enunciado, conjunto de palabras o letras a las que se les
puede asignar uno y solo uno de los valores de verdad

VERDADERO (V) FALSO (F)

Su representación es alfabética a partir de la letra P

EJEMPLO

P: 15+5=21 (F)
Q: Táchira es un estado venezolano. (V)
PUNTOS

R: El número 15 es divisible por 3. (V)

S: El perro es un ave. (F)
PUNTOS
 PUNTOS

PUNTOS
Ángela
Galbán

Clasificación de proposiciones

 SIMPLES: también denominadas atómicas, se les puede representar por una sola
variable.

P: 3+6=9
 COMPUESTAS: consta de dos o mas enunciados simples, también se les llama
proposición molecular.

Bolívar era venezolano y era soldado

PUNTOS

p q

Nos afirma que bolívar era Nos afirma que bolívar era
venezolano soldado PUNTOS
 PUNTOS

PUNTOS
Ángela
Galbán

Símbolos

 Es la representación perceptible de una idea, con rasgos asociados por una

convención socialmente aceptada.

PROPIOS Significan algo por sí solos

EJEMPLO

TIPOS DE SÍMBOLOS Hombre, casa.

PUNTOS

IMPROPIOS No significan algo por sí solos

EJEMPLO

Y, o, no. PUNTOS
 PUNTOS

PUNTOS
Ángela

Símbolos propios
Galbán

 Variable proposicional
En lógica una variable proposicional o variable sentencial, es una variable discreta que puede ser verdadera o falsa. Son
los bloques de construcción básicos de las fórmulas proposicionales, usadas en lógica proposicional y en lógicas
superiores.
Las variables proposicionales son las fórmulas atómicas de la lógica proposicional, se podría definir una fórmula de la
siguiente manera:

 Cada variable proposicional es una formula.

 Dada una formula X, su negación ¬X es una formula.
 Dadas dos formulas X y Y, y un conectivo binario b (por ejemplo la conjunción ʌ), entonces (X b y ) es una
PUNTOS

formula.
De este modo, todas las formulas de la lógica proposicional son construidas utilizando variables proposicionales como
unidades básicas.
PUNTOS
 PUNTOS

PUNTOS
Ángela

Símbolos propios
Galbán

Variable sintácticas
Se denominan así al papel que desempeña una palabra, morfema o constituyente sintáctico dentro de una
construcción sintáctica que la incluye. Todas las relaciones de combinación o relaciones sintagmáticas
que una palabra mantiene con los demás vocablos de un contexto.

Operadores
Conectan o enlazan proposiciones y establecen determinadas operaciones entre ellas. Son letras
minúsculas del alfabeto castellanos “p”, “q”, “r”, “s”, etc.
PUNTOS

Son de dos clases: diádicos y monádicos.

PUNTOS
 PUNTOS

PUNTOS
Ángela

Símbolos propios
Galbán

Operadores Diádicos
Tienen doble alcance: hacia la izquierda y hacia la derecha, es decir, afectan a dos variables. Y
son los siguientes:

 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 sólo si”. Su símbolo es “↔”.
 Negación conjunta: son las partículas “ni…ni”. Su símbolo es “↓”.
PUNTOS

 Negación alterna: es la expresión “no o no”. Su símbolo es “|”.

PUNTOS
 PUNTOS

PUNTOS
Ángela

Símbolos propios Galbán

Operadores Monádicos
Son Aquellos que afectan solo a una proposición atómica.
 El negativo: tiene un solo alcance: hacia la derecha, e decir afecta a una sola variable. Es el operador de la
negación. Es el adverbio negativo “no”. Su simbol es “~”
Realice la
OPERADOR SIMBOLO LENGUAJE USUAL ILUSTRACION
SIMBOLIZACION

Negación ~ No… No llueve ~p

Conjuntor ∩, ^ …y… Llueve y truena p^q

disyuntor U, ν …o… Estaba triste o preocupado (o ambas cosas) p(q

(inclusivo o débil)

Disyuntor Ū …o… Iremos al cine o al teatro (pero no al teatro (pero no a p(q

(exclusivo o fuerte) ambos lugares)

Condicionador → Si… entonces… Si llueve entonces habrá cosecha p(q

PUNTOS

Bicondicionador ↔ … si y solo si… Habrá cosecha si y solo si llueve p(q

Binegador ~~ Ni… ni… Ni trabaja ni estudia

PUNTOS
p(q

Anticonjuntor ~( No es cierto que … y … No es cierto que Aldo sea secretario y sobrino del juez p(q
 PUNTOS

PUNTOS
Ángela
Galbán

Símbolos Impropios Proposición lógica

Signos de puntuación
Los signos de puntuación delimitan las frases y los párrafos, establecen la jerarquía sintáctica de las proposiciones para
conseguir estructurar al texto, ordenan las ideas y las jerarquizan en principales y secundarias.

Los principales signos de puntuación son los siguientes:

Punto “.” Signos de interrogación “¿?”

Coma “,” Signos de exclamación “¡!”

Punto y coma “;” Puntos Suspensivos “…”

PUNTOS

Comillas “” Guion “-”

Paréntesis “,”
PUNTOS
 PUNTOS

PUNTOS
Ángela
Galbán

Símbolos Impropios
Signos de operación
Estos signos indican que la operación que está entre ellos es la primera que se debe efectuar.

Un ejemplo de estos serian:

+. -. X.
PUNTOS

PUNTOS
 PUNTOS

PUNTOS
Ángela
Galbán

REGLAS DE FORMACIÓN DE
FÓRMULAS LÓGICAS
Una fórmula lógica, es decir, una formula bien formada (FBF) es una cadena de símbolos
construida según reglas establecidas por la sintaxis lógica. Puede ser de dos tipos atómica y
molecular
Estas son las reglas de la sintaxis lógica que posibilitan la construcción de formulas bien
formadas(FBF):

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 R1,R2 y R3
5. Una fórmula lógica esta bien formada si y sólo si existe una jerarquía claramente
PUNTOS

establecida entre sus operadores

6. Una FBF tiene un nombre y éste depende de su operador de mayor jerarquía
PUNTOS
 PUNTOS

PUNTOS
Ángela

REGLAS DE FORMACIÓN DE
Galbán

FÓRMULAS LÓGICAS
7. El operador de mayor jerarquía es aquel que está libre de los signos de
agrupación “( ), ], }”.
8. Los signos de agrupación se usan cundo su omisión hace ambigua una fórmula.
9. Los operadores diádicos tienen mayor jerarquía que el operador monádico.
10. El operador negativo se escribe antes y no después de una fórmula.
11. El operador negativo se escribe entre dos fórmulas, si no inmediatamente la
derecha de un operador diádico.
12. Si un operador negativo antecede a otro operador igualmente negativo, entonces
PUNTOS

el de la izquierda tiene mayor jerarquía.

PUNTOS
 PUNTOS

PUNTOS
Ángela Galbán

Tabla de Verdad
Es una tabla que muestra el valor de una proposición compuesta para cada EJEMPLO
combinación de verdad que se pueda asignar. En función a las proposiciones que la
integran nos podemos encontrar con los consiguientes casos :

Tautología Contradicción
Su tabla de verdad es Su tabla de verdad es
siempre V siempre F
A ~A Aᴠ~A A ~A Aʌ~A
V F V V F F
PUNTOS

F V V F V F

PUNTOS
 PUNTOS

PUNTOS
Ángela Galbán

Método Abreviado
Se compone de premisas y conclusión.
Inferencia
La lógica es fundamentalmente una teoría de la inferencia, estudia la validez de las inferencias para decidir su validez la lógica
cuenta con procedimientos de varios tipos. Estos procedimientos o métodos pueden agruparse en dos clases: métodos
sintácticos y métodos semánticos. El método de la tabla de verdad y el método abreviado son ejemplos de métodos semánticos.

Análisis de Inferencia
Este método se usa cuando queremos ahorrar tiempo, ya que el número de variables es superior a 3 y el algoritmo de la
tabla de verdad se torna engorroso.
EJEMPLO
PUNTOS

PUNTOS
 PUNTOS

PUNTOS
Ángela

Método del condicional asociado

Galbán
1

En lógica proposicional, el método del condicional asociado es una prueba de validez.

Esto es, un procedimiento para determinar si una forma proposicional es válida o no lo es.
Este método es mecánico y se basa en el método de las tablas de verdad, que consiste en la explicitación de todos los posibles
valores de verdad que puede adoptar una forma proposicional de acuerdo con el significado de las conectivas que en ella
aparezcan y los posibles valores de las letras proposicionales.
El condicional asociado consiste en realizar la tabla de verdad de un condicional que tenga como consecuente la conclusión del
razonamiento -o presunto razonamiento- y como antecedente la conjunción de las premisas.
Sencillamente, si se obtiene una tautología al realizar la tabla de verdad de un condicional asociado a un razonamiento se
demuestra la validez de esa forma de razonamiento.
 Método demostrativo. Introducción Los métodos didácticos son las vías por las que se lleva al participante al
conocimiento y dominio de los contenidos. Los métodos pueden utilizarse simultáneamente, es decir un método puede ser el

 
más usado en clase, pero con la presencia de algunos elementos de otras técnicas  

Reglas de inferencia
PUNTOS

En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma
premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones). Por ejemplo, la regla de inferencia llamada
Modus ponendo ponens toma dos premisas, uno en la forma "Si p entonces q" y otra en la forma "p", y vuelve la
conclusión "q". La regla es válida con respecto a la semántica de la lógica clásica (así como la semántica de muchas otras
lógicas no clásicas), en el sentido de que si las premisas son verdaderas (bajo una interpretación), entonces también lo será
la conclusión.  PUNTOS
 PUNTOS

PUNTOS
Cálculo Proposicional
&
Demostración de Validez de las Estructuras de los Razonamientos

¡GRACIAS POR SU
ATENCIÓN!
ÁNGELA GABÁN
PUNTOS

PUNTOS