Documente Academic
Documente Profesional
Documente Cultură
1.
ENUNCIADO.-
2
3
4
5
6
7
8
9
Nos interesa los ejemplos (1), (3), (8); son enunciados que se les puede asignar una propiedad
de ser verdadero o falso, pero no ambas a la vez.
(1) Es verdadero
(2) Es verdadero
(3) Es falso.
En cambio los ejemplos (2), (4), (5), (6), (7), (9) y (10) son enunciados que no podemos
asignar un valor de V o F.
2.
PROPOSICIN
VALOR DE VERDAD
Es la propiedad de ser verdadero o falso pero no ambos a la vez que le asignamos a ciertos
enunciados. Los valores de verdad o falsedad de una proposicin resultan de la ciencia o disciplina
de donde provienen. Por ejemplo:
1) Francisco Pizarro conquisto el Imperio de Incas, la historia nos asevera que es verdadera.
10
11
Proposicin es un enunciado al cual se le asigna un determinado valor, de ser verdadero (V) o falso
(F), pero nunca verdadero y falso simultneamente.
4) 18 es mltiplo de 3. (.......)
5) La frmula qumica del agua es H2 O. (.......)
3.
CONECTIVOS LOGICOS.-
Sean:
a) 12 es mltiplo de 4 y de 6.
b) Juan Prez va al colegio o al cine.
c) Si 2 es nmero par, entonces es divisor de 18.
d) Un nmero es par si y slo si es mltiplo de 2.
Observamos que ciertos trminos del lenguaje nos permite combinar proposiciones, estos
son: no, y, o, si, ....entonces......; ....si y slo si...., entre otros. La tabla siguiente nos va a permitir
simbolizar cada uno de los conectivos u operadores
CONECTIVOS LOGICOS
SIMBOLOS
NOMBRES
no
Negacin
Conjuncin
Disyuncin incluyente
O............... o ...............
Disyuncin excluyente
Si...................entonces...................
Condicional
Bicondicional
Conectivos Lgicos son trminos que nos permite formar proposiciones compuestas
A) PROPOSICIONES SIMPLES.Definicin.- Son aquellas proposiciones elementales que no poseen conectivos lgicos.
Ejemplos:
B) PROPOSICIONES COMPUESTAS.Definicin.- Son aquellas proposiciones que se obtienen al combinar proposiciones simples
mediante los conectivos lgicos.
El valor lgico de una proposicin compuesta slo depende de los valores de las proposiciones
componentes.
Ejemplos: 1) Luis est en Panam estudiando y trabajando.
p
5.
TABLAS DE VERDAD:
a)
NEGACIN:
~p
b) CONJUNCIN:
c)
DISYUNCIN DBIL:
d) CONDICIONAL:
e)
f)
BICONDICIONAL:
p
p q
DISYUNCIN FUERTE:
p
TAUTOLOGA.-
Una tautologa es una frmula lgica que es verdadera para cualquier valor lgico
que se le asigne a sus variables proposicionales.
CONTRADICCIN.- Una contradiccin es una frmula lgica que es falsa para cualquier valor lgico
que se le asigne a sus variables proposicionales.
CONTINGENCIA.- Una contingencia es una frmula lgica cuando por lo menos hay una verdad y
una falsedad de su operador principal.
EJERCICIOS
1.
2.
b) VFV
e) FFF
c) VVF
b) 3
e) 4
c) 5
3.
4.
5.
En El fiscal de la Nacin ejercer sus funciones salvo que no jure, la proposicin anterior es:
a) Conjuntiva
b) Bicondicional
c) Disyuntiva
d) Condicional
e) Negacin
6.
7.
8.
c) 1
a) 0
d) 4
9.
b) 3
e) 4
c) 3
Dadas las proposiciones : q : 2 es nmero par p y r son dos proposiciones cualesquiera tal que:
~ [ ( r q ) ( r p ) ] es verdadera; entonces determina el valor de verdad de los siguientes
esquemas moleculares :
a) r (~ p ~ q )
b) [ r ( p q ) ] ( q ~ p )
c) ( r ~ p ) ( q p )
11. Sean las proposiciones p: 5 es un nmero primo, q: 7 > 9, r: Todo nmero primo es impar.
Escribir y establecer la verdad o falsedad de las siguientes proposiciones:
a) ~ ( p q )
b) ~ q ~ r
c) ( p ~ q ) r
d) ~ p ( q ~ r )
e) ~ q ( p ~ r )
12. Sean las proposiciones p y q verdaderas, las proposiciones r y t falsas; hallar el valor de verdad
de :
a) ~ ( p q )
b) ~ ( p ~ r ) ( t ~ q ).
c) (q ~ r ) (~ t p )
d) ~ t ~ ( r q )
e) ( p r ) ( ~ q ~ t )
13. Si: (pq) (r t) es falsa, seala qu proposicin es verdadera
a) p y r
d) p y q
b) r y t
e) q y t
c) p y t
V
F
No se sabe
Puede tomar dos valores
Ninguna de las anteriores
p es necesariamente verdadera.
r es necesariamente verdadera.
s puede ser verdadera
a) Solo I
d) II y III
b) Solo II
e) Solo III
c) I y III
b) FVF
e) FFV
c) FVV
b) VVV
e) VFV
c) FFF
b) V o F
c) Es V si p es F
e) No se puede determinar
b) Contingencia
e) No se puede determinar
c) equivalencia lgica
b) Contingencia
e) No se puede determinar
c) equivalencia lgica
b) Contingencia
e) No se puede determinar
b) FFV
e) FVF
c) VVF
c) equivalencia lgica
23. Si: ~[(p~r) (r~q) ] es verdadera, determina el valor de verdad de las proposiciones r, p y q
respectivamente
a) VVF
d) FVV
b) VFV
e) FVF
c) FFV
(~ p~q) (rq)
~(q ~p) (p~r)
a) VF
d) FV
b) VV
e) FF
c) N.A.
b) V o F
e) V si q es V
c) F solo si q es falso
2.
b) 3
e) 4
b) Contradiccin
e) No se puede determinar
c) equivalencia lgica
5.
c) 5
4.
c) VVF
3.
b) VFV
e) FFF
b) FVF
e) FFV
c) FVV
IV. ~[ ( pq) p ]
V. (~p ~q) q
VI. ~[~ (p~q) ]
a) VVV
d) VFV
b) FFV
e) FVF
c) VVF
PREGUNTAS RAPITEST
TEMA: LGICA PROPOSICIONAL
1.
2.
3.
4.