LGICA

Es una parte de la matemtica que estudia los procesos validos del

razonamiento.
ENUNCIADO
Es toda expresin frase u oracin.
Ejemplos:
a) Juan es ciclista.
b) Cmo te llamas?
c) Viva el Per!
d) Ella es estudiosa
e) 3x+4=13
PROPOSICION
Es un enunciado cuya propiedad elemental es de ser verdadera (V) o
Falsa (F); pero no ambas simultneamente.
Una proposicin se representa por las letras minsculas tales como: p,
q, r, s, t, etc. (Llamada variables).
Ejemplo:
q : El ngulo llano mide 90
( )
r : lima es la capital de Per
( )
s : 63 es nmero compuesto
( )
OBSERVACION
NO PROPOSICION. Son aquellos oraciones que indica pregunta, una
orden, una exclamacin, una admiracin, una exhortacin o
imperativas.
Ejemplos:
a) Qu es la geometra?
b) Prohibido fumar
c) Hola que tal !
Los enunciados que usan las palabras el y ella y los smbolos x, y,
z, no tiene la propiedad de ser verdadera o falso, es decir no son
proposiciones, si embargo si a una de estas palabras o smbolos se le
asigna un determinado valor, llamada constante, el resultado es una
proposicin. A este tipo de enunciado se le denomina ENUNCIADO
ABIERTO.
Ejemplos:
a)
b)
c)
d)

El estudia ingles.
x+6 = 9
Y es abogado.
Ella es secretaria

OPERACIONES CON PROPOSICIONES

CONJUNCIN ( ).- La conjuncin es
verdadera cuando las dos proposiciones
son verdaderas, en los dems casos es
falsa.
DISYUNCIN ( ).- La disyuncin es
falsa cuando las dos proposiciones son
falsas en los dems casos es verdadera

V
V
F
F

V
F
V
F

V
V
F
F

V
F
V
F

V
V
V
F
p

V
V
V
F

IMPLICACIN (
).- La implicacin es
falsa cuando el antecedente es verdadero y
el consecuente es falso, en los dems
casos es verdadero.

V
V
F
F

V
F
V
F

EQUIVALENCIA ( ).- Es verdadera si

ambas proposiciones son verdadera o
ambas son falsas en los dems casos es
falso.

NEGACIN
Es decir, si el valor de verdad de una
proposicin p es verdadero, entonces el
valor de verdad de ~p es falso.

V
V
F
F

p
V
V

V
F
V
F

V
F
V
F

q
V
F

V
F
V
F

~ q
V
F

TAUTOLOGA.- Es una tautologa, si al evaluar, en todo los casos resulta,

siempre verdadera.
CONTRADICCIN.- Es una contradiccin, si al evaluar, en todo los casos
resulta, siempre falso.

CONTINGENCIA.- Se llama as a toda formula que no es tautologa ni

contradiccin.