13

Formalizar proposiciones
usando variables
proposicionales y los
conectivos lgicos, y
determinar su valor de verdad.

Analice la siguiente informacin sobre
ACTIVIDAD N 01

























- Del Metalenguaje:
Son variables de mayor amplitud que las anteriores y
sirven para denotar proposiciones compuestas. Se usan
las letras maysculas, generalmente, a partir de: A, B,
C,...

Operadores o Conectivos Lgicos:
La Negacin
Smbolo: ~
__
, ' ,

Esquema lgico
~ p,
_
, ' , p p p
Lectura no p, nunca p,
es absurdo que p
es falso que p
es inconcebible que p
es imposible que p
no ocurre que p
no es verdad que p
es mentira que p
jams p, tampoco p
es inadmisible que p
no acaece que p
no es innegable que p
carece de todo sentido que p
de ninguna forma se da p
es errneo que p
es incierto que p
nadie que sea p
etc...
- Del Lenguaje Objeto:
Las proposiciones simples se pueden denotar por medio
de letras minsculas, generalmente, a partir de: p, r, s....
NOTACIN, VALORES DE VERDAD Y LECTURA:
Variables proposicionales:
1.3. OPERADORES O CONECTIVOS LGICOS:
Lgica Proposicional
OBJETIVO
14




































La Disyuncin Dbil o Inclusiva
Smbolo: , +
Esquema lgico p q, p + q
Lectura p o q
a menos que p, q
p tambin q
p de lo contrario q
p salvo que q
p a menos que q
p excepto que q
p en tal sentido q
etc...


La Disyuncin Dbil o Exclusiva
Smbolo: , , , >--<,
Esquema lgico p q, p q , p q, p >--< q, p q
Lectura o p q
p no equivale a q
p no se define como q
ya sea p ya sea q
o bien p o bien q
p es diferente a q
ya bien p ya bien q
p se contrapone a q
p excluye a q
p solamente q
p o nicamente q


El Operador de Nicond
Smbolo: /
Esquema lgico p/q, ~p ~q, ~ (p q).
Lectura no p no q
es falso que no pe y no q


La Conjuncin
Smbolo:
, ., &
Esquema lgico
p q, p.q , p&q
Lectura p y q
p pero q
p aunque q
p sin embargo q
p incluso q
p as como q
etc...
p tambin q
p del mismo modo q
p de la misma forma q
p tal como q
p al igual que q
p no obstante q
p es compatible con q
no slo p tambin q
siempre ambos p con q
tanto p como, cuanto q

Lgica Proposicional
15



































El operador de Sheffer
Smbolo:
Esquema lgico p q, ~p~q, ~(pq)
Lectura ni p ni q , es falso que p q

El Condicional
Smbolo:
,
Esquema lgico
p q, p q
Lectura si p entonces q
cuando p as pues q
con tal de que p es obvio
que q
en virtud de que p es
evidente q
dado p por eso q
en cuanto p por tanto q
de p deviene q
de p deducimos q
p slo si q
ya que p bien se ve que q
siempre que p por consiguiente q
como quien que p por lo cual q
en el caso de que p en tal sentido
q
toda vez que p en consecuencia q
en la medida que p de all q
en el caso de p en este caso q
p impone q
p es condicin suficiente para q
etc...

En la condicional:
p q






Despus de las siguientes palabras va el antecedente de
una condicional (INDICADORES DE PREMISAS):
puesto que como es indicado por
dado que la razn es que
a causa de por las siguientes razones
porque se puede inferir de
pues se puede derivar de
se sigue de se puede deducir de
como muestra en vista de que
ya que cuando
si cada vez que, siempre que, a
condicin de que, es condicin
necesaria para, es suficiente para.
La
Conclusin
El consecuente
La tesis
El efecto
La
Premisa
El Antecedente
La Hiptesis
La causa
Lgica Proposicional

16



































En este caso el esquema lgico es:




s r

Este conectivo se llama REPLICADOR.

El Bicondicional
Smbolo:
,
Esquema lgico
p q, p q
Lectura p s y slo si q
p se define como q
p es lo mismo que q
p es idntico a q
etc....
p es equivalente, equivale a q
p siempre que y slo cuando q
p cada vez que y slo si q
p es equipolente a q
p es de la forma q
p es condicin necesaria y
suficiente para q.


EJEMPLO 1
Formalizar o simbolizar las siguientes proposiciones.

1) Estudias Lgica o Biologa, pero no ambas a la vez.
(p q) ~ (p q)
(p q) ~ (p q) (p q) (p q)

2) O bien los animales son vertebrados o bien invertebrados, pero
(p p)
no es el caso que sean invertebrados a la vez vertebrados.
(p p)
(p p) (p p)
3) Un enunciado abierto no es una proposicin a menos que
p
se le asignen valores a la variable.
q
p q

Premisa
Antecedente
Palabra
Indicador de premisa
Consecuente
Conclusin
Lgica Proposicional
17




































4) Una condicin necesaria para que Roco no sea premiada con un libro
p
es que estudie matemticas y no apruebe el examen.
(q r)
p (q r)

5) Como es hora laborable, se concluye que en el juzgado
hay jueces y testigos, dado que, si es hora laborable, en
el juzgado hay jueces, y hay testigos, si en el juzgado hay
jueces.
Solucin:
Sean:
p: hora laborable
q: hay jueces en el juzgado
r: hay testigos en el juzgado.

Simbolizando slo las proposiciones simples:
Como p, se concluye que q y r, dado que, si
p, q, y r si q.

Simbolizando los operadores condicionales:
[p (q r) dado que (p q) (r si q)]

Simbolizando los replicadores:
[(p q) (qr)] [p (qr)]
Lgica Proposicional