PRÁCTICA № 01 LÓGICA PROPOSICIONAL

PRÁCTICA № 01

LÓGICA PROPOSICIONAL

1.  Sean las proposiciones :

p : 23 + 32 = 17 q : 62 = 36

r : 32 + 43> 5

( ~ p Λ ~ q ) ν ~ q

I.     ( ~ r  ν  q ) ↔  [ ( ~ q ν r) Λ s ] II.    ( p → q ) → [ ( p ν q ) Λ ~ q ] Son respectivamente:

7.  Si: “s” y la proposición:   s → ~ ( p ν q ) son verdaderas, indique los valores de verdad de las siguientes expresiones :

I.  ~ ( p Λ ~ q )

II. ( p → q ) ν ~ s

III.s ν ( q → p )

2.  Los   valores   de   verdad   de   las   siguientes proposiciones :

I.   ( 3 + 5 = 8 ) v ( 5 – 3 = 4 ) II. ( 3 – 5 = 8 ) → ( 1 – 7 = 6 )

III. ( 3 + 8 = 11 )  Λ ( 7 – 4 >1 ) IV. ( 4 + 6 = 9 ) ↔ ( 5 – 2 = 4 )

Son respectivamente

3.  Si la proposición :

(p Λ ~q ) → (r →  s) es falsa, el valor de verdad de: q, p, r, s (en ese orden) es:

A)FVVV                      B)VFVV C)VVFF

D)FVFF                       E)VVVF

4.  Si : ~ [ ( p  Λ q Λ  r ) → s ]  → ( ~ p ν s )es falso

Señale el valor de : p, q, r, s.

5.  Sea: ~ [(A Λ ~ B) → (C → D)] verdadera. Luego

:

I.  ~ ( A Λ ~ B ) Λ C

II. ~ ( A Λ ~ B ) → ~ ( ~ C → ~ D )

III.( ~ A → C ) Λ ( B → ~ C )

IV.  ( A ↔ B ) Λ ~ C

V. ( ~ A ↔ ~ B ) Λ ~ C

Son verdaderas:

8.  Si se sabe que ( p Λ q ) y ( q → t ) son falsas ¿Cuál de las siguientes proposiciones son verdaderas?

I.  ( ~ p  v  t ) v  s

II. ~ [ p  Λ ( ~ q  Λ ~ p ) ]

III.~ p v ( q  Λ ~ t )

A) SóloI                      B)SóloII

C)SóloIII D)Todos                     E) N. A.

9.  Sabiendo que la proposición “p” es verdadera,

¿En cuáles de los siguientes casos es suficiente

dicha información para determinar el valor de verdad de las siguientes proposiciones?

I.  (p ν q) ↔ (~ p   Λ ~ q)

II. (p Λ q) → (p   ν  r)

III. (p  → q) → r

10.        Si: (~ p Λ ~ r)  → ( r ∆ q )  es falsa,  y las proposiciones “s” y “t” tienen valores de verdad desconocido, ¿Cuáles de las siguientes proposiciones son verdaderas?

I.  (pΛ s ) ν  q

II. (t Λ q ) → p

III.(s ν t ) → r

6.  De la falsedad de la proposición :

( p→ ~ q ) ν ( ~ r → s) se deduce el valor de

verdad de los esquemas moleculares :

PRÁCTICA № 02

LOS PRINCIPIOS LOGICOS Y LEYES LÓGICAS

1.  La siguiente proposición:

[(~ p v q) → ( p  Λ q ) ] v (~ p Λ ~ q )

Equivale a :

8.  Si se define : p Θ q , por la tabla

Simplificar:M ={ [ ( ~ p Θ q ) Θ p ] → ( q Θ p ) }

9.  Se define : * , Ø en la tabla siguiente :

2.  Simplificar el esquema :

[~ (p  → q) → ~ (q → p)] Λ (p v q)

A) p                             B) q                     C) ~ p

D) p  Λ q                     E) p v q

3.  Simplificar  el esquema :

[ ( p Λ ~ q ) Λ ( q → p ) Λ r ] ν p

A) p ν q                       B) p Λ q                            C) p

D) ~ q                         E) q

4.  Simplificar  el esquema :

P Λ { q ν [ p → ( ~ p Λ r ) ]  }

A) p ν ~ q                   B) p Λ q                            C) p

D) ~ p                         E) q

5.  Si se define p٭q ,por la tabla

Simplificar:[ ( p Ø ~ q ) * p ] Λ ( q Ø ~ p )

A) p                             B) q                     C) p Λ ~ q

D) p → q                     E) p Λ ~ p

10.        Si se define ( p* q ) por la tabla:

~ { [ ( p * q )  p ]  ~ q }

A) p                             B) q                     C) p  q

D) p  q                    E) p  q

...