Representa con su formula lgico-matemtica los siguientes pensamientos

1. La tierra gira en torno al sol o a la tierra

pvq

2. Voy al cine o al teatro

pvq

3. No es posible que valla al cine o al teatro

-(pvq)

4. Voy o no voy
5. Si estudio entonces aprendo
6. Estudio y aprendo i y solo si no me distraigo
7. Si estudio y aprendo entonces apruebo el curso
y voy de vacaciones
8. Voy de vacaciones si y solo si tengo dinero

pv-q
p
(p.q)
(p^q)

9. Si la plata no es un metal entonces no es

posible que conduzca electricidad y sea
maleable

-p

10.No entiendo y pido asesoras si y solo si hay un

asesor certificado

(-p.q)

q
-r
(r^s)

q
-(q.r)

Sugerencias para representar proposiciones de mayor complejidad.

1. Revisar cuntas proposiciones simples y compuestas hay.
2. Encontrar los smbolos relacionantes y colectivos lgicos.
3. Detectar las negaciones, si afectan a una proposicin simple, a una
proposicin compuesta o a toda una serie de proposiciones.
4. Encuentra el conectivo principal si es que hay ms de uno,
generalmente se localiza usando smbolo de agrupacin.
Nota: Siempre que hay ms de dos proposiciones y que se relacionan
mediante una conjuncin o una disyuncin se usa parntesis, as
automticamente surge el conectivo principal.

Lgica matemtica continuacin.

Construccin de la tabla de verdad.
Qu es la tabla de verdad?
Una tabla de verdad es el esquema que muestra todas las
combinaciones posibles de los valores de verdad de un pensamiento
simple, de un pensamiento compuesto o de toda una serie de
proposiciones. Para determinar la validez, el grado de validez de los
pensamientos.
Todo pensamiento simple tiene dos valores de verdad, puede ser
verdadero o puede ser falso, pero tambin tiene su tabla de verdad que
es la base de tablas mayores.

Cuadrante
Cuadrante
Cuadrante
Cuadrante

de
de
de
de

representacin de pensamientos.
representacin de smbolos.
combinaciones de valores de verdad.
soluciones.

-p

V
F
Estudio

V
F

V
V
F
F
No estudio

No estudio y aprendo
pq
VV
VF
FV
FF

-p.q
F.V
F.F
V.V
V.F

F
F
V
F

En la conjuncin un relativo que sea falso la conclusin es falsa.

Si me alimento bien y no como grasas entonces no estoy gordo.

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

(p.-q)
VF F
V F F
V V V
V V V
F F F
F F F
F F V
F F V

-r
F
V
F
V
F
V
F
V

V
V
F
V
V
V
V
V

Si los contenidos son claros

entonces no es posible reprobar
o no entender.
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

p
V
V
V
V
F
F
F
F

-(q
V
V
F
F
V
V
F
F

v
V
V
F
V
V
V
F
V

-r)
F
V
F
V
F
V
F
V

No es posible no entender
si y solo si no pongo atencin.
p
V
V
F
F

q
V
F
V
F

-(-p
F
F
V
V

V
F
F
V

-q
F
V
F
V

F
V
V
F

F
F
V
F
F
F
V
F

F
F
V
F
V
V
V
V

Si soy catlico y no cumplo con los mandamientos entonces no es posible

salvar mi alma o gozar de la vida eterna.
p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

s
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

(p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

.F
F
F
F
V
V
V
V
F
F
F
F
F
F
F
F

q)
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

-(r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

v
V
F
V
F
V
V
V
F
V
V
V
F
V
F
F
F

s)
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

F
V
F
V
F
F
F
V
F
F
F
V
F
V
V
V

V
V
V
V
F
F
F
V
V
V
V
V
V
V
V
V