Qué es una proposición

• Es toda oración o enunciado al que se le

puede asignar un cierto valor (v o f). Si no
puede concluir que es verdadero o falso no es
proposición.
•
Clases de proposiciones:

Existen dos clases de proposiciones:

PROPOSICIONES SIMPLES: también denominadas

proposiciones atómicas. Son aquellas proposiciones que no
se pueden dividir.

Ejemplo:
•Ceutec es la universidad del si se puede.
PROPOSICIONES COMPUESTAS: también denominadas
moleculares. Son aquellas que están formadas por dos o
más proposiciones simples unidas por los operadores
lógicos.

Ejemplos:

Fui al Ceutec, pero Ceutec estaba cerrado.

Los presentes de esta clase son

jóvenes o universitarios.
 Lenguaje simbólico
Proposiciones simples: p, q, r, s, t, u, v, ….

Conectivas lógicas:

Conjunción: y, pero, aunque, sin embargo…. “^”

Disyunción: o, o bien, a menos que, …. “v”
Negación: no, no es cierto que, es falso que… “−”
Condicional: si…..entonces….., sólo si,……. “→”
Bicondicional: si y sólo si “↔”

Signos de puntuación: ( ) [ ] { }
 Simbolización: Un ejemplo de aplicación
del lenguaje simbólico.
Si los pacientes del pabellón 4 son trasladados al pabellón
2, aumentará el riesgo de contagio de gripe en esa sala
y no se reducirá el uso de antihistamínicos.

p: Los pacientes del pabellón 4 son trasladados al

pabellón 2.
q: En el pabellón 2 aumentará el riesgo de contagio.
r: Se reducirá el uso de antihistamínicos.

p → ( q^− r )
 Tablas de verdad
Conjunción negación disyunción condicional bicondicional

p ^ q p −p p v q p → q p q
↔

v v v v f v v v v v v v v v

f f v f v f v v f v v f f v

v f f v v f v f f v f f

f f f f f f f v f f v f
 Pruebas de validez
Se denomina de ese modo a la aplicación de
métodos para determinar si una estructura es
válida o inválida.

Tales métodos pueden ser sintácticos o

semánticos.
Condicional asociado: Una aplicación
Si hubiéramos sido bien diseñados y nuestro cuerpo
fuera tan sabio como se dice, entonces no nos
enfermaríamos. Pero es un hecho que nos
enfermamos. De modo que, ni hemos sido bien
diseñados y tampoco somos tan sabios como se dice.

1. Simbolización:

(p ^ q) → − r
r / − p ^− q
Condicional asociado: Una aplicación
2.
{[ (p ^ q) → − r ] ^ r } → (− p ^− q )
v v v f f f v v f f f
f f v v f v v f v f f
v f f v f v v f f f v
f f f v f v v v v v v
v v v v v f f v f f f

f f v v v f f v v f f
v f f v v f f v f f v

f f f v v f f v v v v