0% encontró este documento útil (0 votos)
121 vistas4 páginas

Tour Bases

Este documento presenta 5 preguntas sobre lógica proposicional para que el estudiante las resuelva. Cada pregunta involucra formalizar una proposición en un lenguaje simbólico o evaluar la verdad de una fórmula lógica. También se piden 7 ejercicios adicionales sobre tablas de verdad y el método directo para evaluar esquemas lógicos.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
121 vistas4 páginas

Tour Bases

Este documento presenta 5 preguntas sobre lógica proposicional para que el estudiante las resuelva. Cada pregunta involucra formalizar una proposición en un lenguaje simbólico o evaluar la verdad de una fórmula lógica. También se piden 7 ejercicios adicionales sobre tablas de verdad y el método directo para evaluar esquemas lógicos.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

Resuelve las siguientes interrogantes aplicando lo aprendido en clase:

1.

La formalizacin correcta de la proposicin: No es verdad que sea


falso que, Newton fue un fsico. Es:
a) p
d) p & p

b) p v p
e) (p)

c) (p)

2.

La formalizacin correcta de la proposicin: O los mamferos son


vertebrados o invertebrados. Pero, es absurdo que los voladores sean
bpedos. Se formaliza correctamente:
a) (p v p) & q
b) (A v A) q
c) (p v p) p
d) (p v p) & - q
e) (p v q) & - r

3.

La proposicin: Los cuadernos, lpices y/o borradores son tiles


escolares, se formaliza:
a) -p -q -r

b) p v q v r

c) -p v q v r

d) (p q) v - r

e) p v q r
4.

Jams en invierno hace calor, an cuando en verano llueve al igual


que hay eclipse asimismo hay evaporacin de agua tal como no hay
granizo, se simboliza:
a) - p - q - r - s - t
b) -p q r -s -t
c) -p q r -s
d) -p q r s -t
e) -p q r s t

5.

Formalizar: Si luchas por triunfar, entonces triunfars, sin embargo no


luchas por triunfar.
a) p (q r)
b) p (q r)
c) (p q) p
d) (p q) (p q)
e) (p q) q

a) Tautolgico

Resuelve los siguientes esquemas moleculares y


comprueba tus resultados en el software de Tablas de
Verdad de Pablo Gancharov:

b) VVVV

d) VFFV

e) FFFV

c)

d) Contingente

e) c y d

1. Halla la tabla de verdad de: (p q) (p q)


a) VFVF

c) Consistente

b) Contradictorio

FFFF

5. [( r p) q] [ p (q r)]
Halla si el resultado y/o matriz es:

2. [(q p) (p q)] p
Halla si el resultado y/o matriz es:
a) Tautolgico

b) Contradictorio

c) Consistente

d) Contingente

a) Tautolgico

b) Contradictorio

c) Consistente

d) Contingente

e) c y d
6.

La frmula: [-(q v -p) -(-q -p)]; es:

a) Tautolgicab) contingente

e) c y d

c) contradictoria

3. (p r) (q p)
Halla si el resultado y/o matriz es:
a) Tautolgico

b) Contradictorio

c) Consistente

d) Contingente

e) c y d

e) N.a.
7.

La frmula: [(q v p) (q p)]; es :

a) Tautolgicab) contingente
c) contradictoria

4. [p (q p)] [(p q) v q]
Halla si el resultado y/o matriz es:

d) imprecisa

e) N.a.

d) imprecisa

Son los siguientes:


a) 101
b) 010

c) 100

EVALUA LOS ESQUEMAS MOLECULARES MENDIANTE EL METODO


DIRECTO
1.

La proposicin: p ( q r) es falsa la proposicin s es verdadera.

d) 111

e) N.a.

Cuntas de las siguientes proposiciones son verdaderas?


I) (P q)

II) s (p r)

III) (p q) r

IV) (p q) r

5. Si la estructura lgica:
[(p - q)] (- r - s) es falsa.
Los valores de verdad de p, q, r y s;
Son respectivamente:

2. Si: (p q) r es falsa,
Determina el valor de p, q y r
a) VVV b) FFF

c) VVF

d) VFF

e) FVF

b) 1010

d) 1111

e) N.A.

c) 1100

6. Si la proposicin: 5 es un nmero impar (p) y la proposicin: 2 es un


nmero irracional (q); entonces p q es:

p q r s
3. Si la proposicin:

a) 1101

es falsa. Determinar el valor de las

siguientes proposiciones:
I) ~ r
II) p q
III) p q
a) VVV

b) VFF

d) FFV

e) FFF

a) verdadera b) falsa
d) neutra
c) FVF

7.

Si:

e) N.a.

p=V; q=F; r= - V; - s=F; el valor de la verdad de la frmula:

[(p q) (r s)] (p r)

4. Si la estructura lgica es falsa :


[ (A -B) (-C -D)]

<c) indefinida

a) Verdadera

es:
b) Falsa

c) Indeterminada

d) Inconsistente

Los valores de verdad de :


I. (A -B) [(A B) -B]
II. -(A B) -(C D)
III. (A B) (C -D)

8. Si la frmula : (A -B) -C es falsa, luego el valor de la frmula :


(A B) C es :

a) verdadera

b) falsa

c) A y B

d) A o B

e) N.A

También podría gustarte