Argumentos y

Cuantificadores
CL ASE 1

Proposicin Simple
Proposiciones Simples Una proposicin simple es un enunciado que puede
ser verdadero o falso.
Si p es una proposicin sus posibles valores se representan por medio de
un tabla de verdad.
Negacin De una proposicin p es la proposicin con los valores
opuestos y es denotada por
. Tabla de verdad
Ejemplo: Si p = Maana es Lunes, entonces la negacin es Maana no es
lunes.

Proposicin Compuesta
Conjuncin La conjuncin de dos proposiciones p, q es la nueva proposicin p y
q y es denotada por
.
Disyuncin La disyuncin es la proposicin p o q y es denotada por

Disyuncin exclusiva La disyuncin exclusiva es la nueva proposicin O p o q

(no ambas al mismo tiempo) y es denotada por
.
Condicional Si p entonces q y se denota por
antecedente y q el consecuente.

. En este caso, p es el

Conversa o recproca
Inversa
Contrapositiva

Bicondicional p si y solo si q y se denota por

Combinacin de proposiciones simples.

Proposiciones Compuestas
Tautologa Una proposicin
compuesta es una tautologa cuando
su tabla de verdad tiene solo valores
verdaderos sin importar el valor de
verdad de sus proposiciones simples.

Equivalencia Dos proposiciones

compuestas P y Q son equivalentes si
tienen la misma tabla de verdad y se
denota
.

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
Las dos ltimas se denominan Leyes de DeMorgan

Argumento
Un argumento es una lista de
proposiciones P1, P2, P3, , Pn
llamadas premisas y una proposicin
Q llamada conclusin.

Un argumento es vlido cuando

asumiendo que todas las premisas
son verdaderas, la conclusin
tambin lo es.

Tres mtodos para comprobar la validez de un argumento:

Por definicin Asumir que todas las

premisas son verdaderas y por lo
tanto, la conclusin tambin lo es.
Teorema Aplicar el teorema del
condicional (Tabla de Verdad).

Absurdo Asumir que la conclusin

es falsa y determinar que no todas
las premisas son verdaderas.

Predicado
Es una afirmacin que expresa una
propiedad de un objeto o una
relacin entre objetos.
Nomenclatura:
Tres partes fundamentales de un
predicado
Elemento Pertenece a una
Coleccin o Universo que cumple o
no con una
Propiedad Caracterstica.

Variable en un predicado Smbolo que representa un miembro no especificado

de una coleccin o universo.

Cuando el sujeto es conocido, es una proposicin que puede ser verdadera o

falsa. Si el sujeto est representado por una variable, no es una proposicin.

Cuantificadores
Definicin Expresin que indica la
cantidad de elementos de un
conjunto que cumplen con una
determinada propiedad.
Cuantificador
Universal

Expresiones Para todo, Todo

determinan el cuantificador universal
y se denota por
.
Cuantificador
Existencial
Expresiones Existe algn, Existe
al menos un determinan el
cuantificador existencial y se denota
por
.
Cuantificador

de

Unicidad

Negacin:
Negar un predicado cuantificado, por ejemplo de coleccin C y predicado P, se
debe seguir una de las dos siguientes reglas:

Negacin del Universal

Negacin del existencial

Observacin
Determinar la validez de una afirmacin Demostracin Literal.
Determinar falsedad Elemento que no cumpla con la propiedad.
Contraejemplo.