Unidad I-Logica HJKLÑ

MATEMÁTICA BÁSICA
UNIDAD I
LÓGICA MATEMÁTICA
TAUTOLOGIA CONTRADICCIONES Y CONTINGENCIAS
Una proposición compuesta o molecular, es una tautología si el

resultado global de la tabla es verdadero.
Una proposición compuesta, es una contradicción, si el

resultado global es falso.
Una proposición compuesta será una contingencia si en el

resultado final de la tabla aparecen valores verdaderos y falsos.
A las tautologías se les llama también leyes o

principios lógicos
Cuando una Condicional es una TAUTOLOGÍA
entonces se llama IMPLICACIÓN LÓGICA.
Cuando una Bicondicional es una TAUTOLOGÍA

entonces se llama EQUIVALENCIA LÓGICA.
ACTIVIDAD DE APLICACIÓN
1. En la siguiente tabla, hallar los valores de verdad de la

proposición compuesta:
p q (p  q)  (p  q)
V V
V F
F V
F F
2. Simbolizar lógicamente y determinar la validez de la conclusión,
en:
a. “Si obtuvo antes su libertad, entonces su conducta en prisión

fue aceptable. Si fue así, se integrará rápidamente a sus
labores. Por lo tanto; se integrara rápidamente a sus labores,
porque obtuvo antes su libertad.”.
b. Si se probó la culpabilidad entonces la sanción estipulada

procede. Pero si se arguyen excepciones, entonces la sanción
estipulada no procede; entonces no se probó la culpabilidad
(p, q. r)
TABLA DE EQUIVALENCIAS LÓGICAS
~ ( ~p)  p
1 LEY DE INVOLUCIÓN
ppp
2 LEY DE IDEMPOTENCIA pp p
p q  qp
3 LEY CONMUTATIVA p q qp
(p  q )  r  p  ( q  r )
4 LEY ASOCIATIVA (pq)rp(qr)
pq ~pq
5 LEY CONDICIONAL ~(pq) p~q
p  q  ( p  q )  ( ~p  ~ q )
6 LEY BICONDICIONAL
~( p  q )  ( p  ~ q )  ( ~ p  q )
p  ( q  r)  ( p  q )  ( p r)
p  ( q  r )  ( p  q )  ( p  r)
7 LEY DISTRIBUTIVA
( p  (q  r))  ( p  q )  ( p  r )
( p  (q  r) )  ( p  q )  ( p  r )
LEY pq~q~p
8
CONTRARECÍPROCA pq  ~q~p
~ ( p  q )  ~p  ~ q
9 LEY DE MORGAN
~(pq)  ~p~q
p(pq)p
p(pq)p
10 LEY DE ABSORCION
p(~pq) pq
p(~pq)  pq
p Tp, p C p
11 ELEMENTO NEUTRO
pT T, p CC
TAUTOLOGIA Y p~p  T
12
CONTRADICCIÓN p~p  C
Implicancias Lógicas
Modus Ponens [(p  q)  p] q
Modus Tollens [(p  q)  ~q] ~p
Silogismo Hipotético [(p  q) (q  r)](p  r)
Silogismo Disyuntivo [(pq)  ~p] q
[(pq)  ~q]p
Ley de Simplificación pqq
pqp
Ley de Adición p pq
q  pq
FUNCIÓN PROPOSICIONAL
Es un enunciado abierto que tiene una o más variables en

su definición. No es una proposición lógica, se convierte en
proposición cuando se le asigna un valor particular a la
variable o variables que definen la función.
Ejemplos:
p(x) : x es alumno de la Universidad de Illinois
q(x) : x2 + 3x > 0 (Si x= 3, q(x) es V, si x=0 ,q(x) es F).
p(x, y) : x es hermano de y
q(x, y) : x2 +y2 = 2
r(x, y, z) : x2 +y2 +z =1
Una proposición que contiene variables se llama proposición abierta y

una proposición que no contiene variables se llama proposición
concreta.
Cuantificadores
Son operadores lógicos que transforman una proposición abierta
en concreta.
CUANTIFICADOR UNIVERSAL
Simbolizado por  que se lee : “ para todo ”
La expresión para todo, antepuesta a una función proposicional define
al cuantificador universal y se denota por  x / p(x),
CUANTIFICADOR EXISTENCIAL
Simbolizado por  que se lee : “ existe ”
La expresión existe, antepuesta a una función proposicional define al
cuantificador existencial expresado por  x / p(x),
NEGACIÓN DE LOS CUANTIFICADORES
La negación de los cuantificadores es la siguiente:
El universal:  [  x  A, p(x)]  x  A/  p(x)
El existencial:  [  x A , p(x)]   x A /  p(x)

Ejemplo. Escribe la negación de las siguientes proposiciones.
 Todos los gatos ladran. Existen gatos que no ladran.
 Algunos profesores son jóvenes. Todos los profesores no son

jóvenes.
 Algunos honestos son impuntuales.Todo honesto es puntual.
 Ningún peruano es francés. Algunos peruanos son

franceses
 Ningún estudioso es inculto. Algunos estudiosos son
incultos.
 Todos los hombres son fieles. Algunos hombres son infieles
Ejemplos:
Determinar el valor de verdad de las siguientes proposiciones:
a)  x  R / x2 + 2x = 3 es V , pues se cumple para

x=1
b)  x  R / x2 + 2x >3 , es F pues falla para x = 0.

Unidad I-Logica HJKLÑ

Cargado por

Copyright:

Formatos disponibles

Unidad I-Logica HJKLÑ

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Unidad I-Logica HJKLÑ

Cargado por

Copyright:

Formatos disponibles

MATEMÁTICA BÁSICA

Una proposición compuesta o molecular, es una tautología si el

Una proposición compuesta, es una contradicción, si el

Una proposición compuesta será una contingencia si en el

A las tautologías se les llama también leyes o

Cuando una Bicondicional es una TAUTOLOGÍA

1. En la siguiente tabla, hallar los valores de verdad de la

a. “Si obtuvo antes su libertad, entonces su conducta en prisión

b. Si se probó la culpabilidad entonces la sanción estipulada

Es un enunciado abierto que tiene una o más variables en

Una proposición que contiene variables se llama proposición abierta y

El universal:  [  x  A, p(x)]  x  A/  p(x)

El existencial:  [  x A , p(x)]   x A /  p(x)

 Algunos profesores son jóvenes. Todos los profesores no son

 Ningún peruano es francés. Algunos peruanos son

a)  x  R / x2 + 2x = 3 es V , pues se cumple para

b)  x  R / x2 + 2x >3 , es F pues falla para x = 0.

También podría gustarte