PRACTICO Nº1 (Lógica)

( Matemáticas )

Lógica Proposicional:

") Sean :ß > C A tres proposiciones verdaderas, ;ß = y ? tres proposiciones falsas.

¿Cuál de la siguientes proposiciones compuestas es verdadera?

+ÑÐ: ” µ ;Ñ Ä Ð> • µ ?ÑÓ Ç Ð= ” µ AÑ ,Ñ Ð= Ä ;Ñ Ç Ð; • >Ñ ” ÐA Ä ?ÑÓ

-Ñ µ Ð µ > ” ;Ñ Ä Ð µ ? • :ÑÓ Ç Ð µ ; ” AÑ

#Ñ Determinar todas las combinaciones posibles de V y/o F que deben asumir las
proposiciones p, q y r de modo que:

a) Ð µ : ” ;Ñ Ä Ð< Ç ;ÑÓ ” Ð µ : • ;Ñ sea verdadera

b) Ð: Ä µ ;Ñ ” Ð; Ç <ÑÓ Ä Ð: Ä <Ñ sea falsa.

$) Sean las proposiciones: :: Un día normal tiene 40 horas.

$ #
; : #  $ œ %(
$
< À %  "!   #

Determinar el valor de verdad de: +) Ð: ” µ ;Ñ Ç Ð< • ;ÑÓ Ç Ð µ ; ” <Ñ

,Ñ Ð: • ;Ñ Ä <ÑÓ ” Ð µ : ” ;Ñ ” <ÑÓ

4) Si : Ä Ð; ” <Ñ es una proposicion falsa. Determinar el valor de verdad de:

+Ñ Ð: ” ; ) Ä <Ó • Ð µ : • ;Ñ • µ <Ó

,Ñ Ð: • ;Ñ Ç <Ó Ä ( µ ; • µ :)

5) Construir las tablas de verdad.

+Ñ Ð µ : • ;Ñ Ç µ Ð: ” µ ; Ñ
,Ñ : ” Ð; Ä µ <ÑÓ • Ð µ : ” <Ñ Ç µ ;Ó
-Ñ µ : Ä Ð; ” <ÑÓ Ç Ð: • µ ; Ñ Ä <ÑÓ

Lógica Cuantificacional:

Determinar el conjunto de validez y el valor de verdad de:

+Ñ aB − E, :ÐBÑ À B  $  B² con E œ Ö  "ß !ß "ß # ×

,Ñ bx B − E , :ÐBÑ À B²  " œ & E œ Ö "ß #ß $ß %ß & ×ß
-Ñ b B − A ß :ÐBÑ À B#  B  ' œ ! ß con E œ Ö  "ß !ß #ß $ß %ß &ß ' ×