EJEMPLO DE PROPOSICONES LGICAS Y TABLAS DE VERDAD

Ejemplo en que se da un enunciado y se pide identificar proposiciones simples,

proposiciones compuestas, simbolizarlas y realizar las tablas de verdad. Es
adecuado para el desarrollo del numeral uno del TC2:
Si el asalto ocurri despus de las 4 de la maana, pero antes de las 5,
entonces los guardianes se haban quedado dormidos. Si ocurri a una hora
diferente entonces los guardianes son cmplices necesario; en tal
circunstancia, hay personas externas involucradas. Por tanto, si los guardias
no se quedaron dormidos, el asalto involucra a personas externas.
p: el asalto ocurri despus de las 4 de la maana.
q: el asalto ocurri antes de las 5.
r: el asalto ocurri en una hora diferente.
s: los guardianes se haban quedado dormidos.
t: los guardianes son cmplices.
u: el asalto involucra a personas externas.

{[ ( p q ) s ] [ ( r t ) u ]} [ ( s) u ]
p

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V

V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F

pq

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F

(pq)
s

rt

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
V

V
V
F
F
V
V
F
F
V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F
V

(rt)
u

[(pq)s]

[(rt )
u]

V
F
V
V
V
F
V
V
V
F
V
F
V
F
V
F
V
F
V
V
V
F
V
V
V

V
F
V
V
F
V
F
F
V
F
V
F
F
V
F
V
V
F
V
V
V
F
V
V
V

su

V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F
V

{[(pq)s]

[(rt)u]}

[su]
V
F
V
V
F
F
F
V
V
F
V
F
F
F
F
F
V
F
V
V
V
V
V
F
V

V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
V
V
V
V
V
V
V
F
F
V
V
F
F
V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F
V
V
V
V
V
V
V
V

F
V
F
V
F
V
F
V
F
V
V
V
F
V
V
V
F
V
F
V
F
V
F
V
F
V
V
V
F
V
V
V
F
V
F
V
F
V
F

F
V
F
V
F
V
F
V
F
V
V
V
F
V
V
V
F
V
F
V
F
V
F
V
F
V
V
F
V
F
F
V
F
V
F
F
V
F
V

V
V
V
V
F
V
F
V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F

F
V
F
V
V
V
V
V
F
V
V
V
V
V
F
V
F
V
F
V
V
V
V
V
F
V
V
F
F
F
V
V
F
V
F
F
F
F
F

Es una CONTINGENCIA.
A continuacin se determinan las premisas en lenguaje simblico de la lgica
matemtica, las proposiciones de un enunciado y se demuestra la validez del
razonamiento a travs de la tabla de verdad al llegarse a una tautologa.
Adecuado para el numeral dos del TC2:
Como seres humanos sociables, nos gusta tener vivir calidad de vida y no
vivir solos. Pero si no nos gusta vivir solos, nos gusta vivir en comunidad. Y
siempre buscamos poder cumplir con las normas para que nuestra calidad de
vida sea adecuada y conforme a la ley. As, pues, si nos gusta vivir en
comunidad, entonces respetamos la ley.

La demostracin de la validez del razonamiento se muestra en la siguiente tabla

de verdad que es una tautologa:

Para el numeral tres, el cual se refiere a las proposiciones categricas se

presenta como ejemplo el siguiente silogismo:
Ningn estudiante es perezoso
Todos los amantes del conocimiento son estudiantes
Luego, ningn amante del conocimiento es perezoso
Ningn estudiante es perezoso
S= Estudiantes
P= Perezoso

Universal negativa
Ningn S es P o
ningn P es S

Todos los amantes del conocimiento son estudiantes

S= Amantes del conocimiento
P= Estudiantes

Universal afirmativa
Todo S es P

Luego, ningn amante del conocimiento es perezoso

S= Amante del conocimiento
P= Perezoso

Universal negativa
Ningn S es P o
ningn P es S