Objetivo 1

Prof. Andrs Montenegro

La Lgica

p
q
v
f
[ p [ ( p r ) ( p r ) ] ] [ q [ ( p q ) ( p r ) ] ]

r
v

Determinar el valor veritativo de la expresin dada utilizando diagrama de rbol.

V
V
F

F
[ p [ ( p r ) ( p r ) ] ] [ q [ ( p q ) ( p r ) ] ]

p r

pr

AB

p C

p q

pr

DE

qF

GH

Contradiccin

Informtica 3er Ao (Clase 9_10)

8

Objetivo 1

Prof. Andrs Montenegro

La Lgica

( [{p(qr)} v{(pq)(pr)}] [{(qp)(pq)}p] )

qr

pA

pq

pr

BC

DvE

V V V

V V F

V F V

V F

F V V

F V F
F
F

qp

pq

FG

Hp

I J

F V

Tautologa

Informtica 3er Ao (Clase 9_10)

Objetivo 1

Prof. Andrs Montenegro

La Lgica

[(~p~q)(pq)] [{r(st)}v{(rs)(rt)}]

A B C

~p

~q

AB

pq

CD

s t

rE

rs

rt

FG

HvI

JK

Contradiccin

Informtica 3er Ao (Clase 9_10)

10

Objetivo 1

Prof. Andrs Montenegro

La Lgica

Actividades de Aprendizaje
Escriba una V (Verdadero) o una F (Falso) segn considere el caso. Justifique slo la respuesta falsa.
La simple aprehensin es el acto mediante el cual la inteligencia capta o percibe una cosa y afirma o
niega algo de ella.

El juicio es el producto resultante de la operacin mental y es forzosamente verdadero o falso, es

una afirmacin positiva o negativa.

Complete los siguientes enunciados:

La distincin del razonamiento correcto de lo incorrecto es el
que debe tratar la lgica.
El estudio de la lgica es el estudio de los

usados para distinguir el

de lo

Resuelva el siguiente pareo:

.-El Juzgar

.-Es la ciencia del razonamiento

.-Concepto o Idea
.-La Lgica
.-La Inferencia

.-Es la representacin intelectual de un objeto sin afirmar

y negar nada de l y dicho objeto debe ser inteligible.

Demuestre que las siguientes proposiciones son equivalentes:

(ab)

(ab)

Sean r: Hace calor y s: Est soleado el da. Describa con un enunciado verbal las siguientes aserciones:

rs
rs

Si p: Los Leones del Carcas ganan y q: Venezuela Campen de la Serie del Caribe.
Expresar simblicamente las siguientes proposiciones:
Si Los Leones del Caracas ganan entonces Venezuela Campen de la Serie del Caribe.

No es cierto que ni Los Leones del Caracas ganan ni Venezuela Campen de la Serie del Caribe.

Escriba una V (Verdadero) o una F (Falso) segn considere el caso. Justifique slo la respuesta falsa.
Para cada juicio de cantidad y cualidad combinados como convertiente existe un converso.

CONVERTIENTE: .- Todo analista de sistemas es programador.

CONVERSO:

.- Ningn programador es analista de sistemas.

Informtica 3er Ao (Clase 9_10)

11

Objetivo 1

Prof. Andrs Montenegro

La Lgica

Actividades de Aprendizaje

Identifique el Juicio y Halle su Converso

CONVERTIENTE
-Ningn Bioanalista es Delincuente
-Algn Fiscal No es Justo
-Todo Deportista es Sano
-Algn Vendedor es Sincero

CONVERSO

Identifique el Juicio y Resuelva por Oposicin:

-Todo Padre es Adulto (

)
Contrario:
Contradictorio:
Subalterno:
SubContario:

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

Informtica 3er Ao (Clase 9_10)

12