Logica Simbolica

TABLA DE CONECTIVOS LÓGICOS
CONECTIVO
FUNCIÓN
SÍMBOLO
LECTURA
a) Conjunción
Juntar,
Agregar,
Adherir,
(enunciados /no términos )
•
^
&
Y, pero, mas, también, mientras, un, sin embargo
Tanto…….como……
Aunque, además
b) Disyunción
i) Inclusiva
El uno o el otro o
ambos

ii) Exclusiva
El uno o el otro pero no
ambos
Presentar alternativas uopciones

La “o” en medio de las proporciones simples.

Presenta una sola opción

La “o” antes de la primera proposición y otra “o” en medio de las proporciones.

v

v

A menos que, o,




Ni………ni………..
O bien…… o…….
O bien……..a menos que…….
O el uno ó el otro pero no ambos
c) Condicional

Presenta una reilación hipotética entre 2 o mas eventos que tengan una secuencia lógica.
Esnecesario que ocurra “A” (antecedente) para que suceda “B” (consecuencia)




Si ... entonces …
Se sigue que,
Implica que,
Contiene a
d) Bicondicional
Implica una relación de igualdad o de equivalencia
↔



Si y solo si
Equivalente
La Negación

Niega una preposición, cambia o invierte el valor de verdad de una proposición.

~
Es falso que
No es el caso que
No escierto que
No ocurre que
No sucede que
Signos
1. Agrupación

2. Puntuación

Determinan orden y prioridad de los términos

( ) { } [ ]
, . ;

Cuando existe una “coma”; “punto”, y “punto y coma”, aislar la expresión siguiente con signos de agrupación.

TABLAS DE VERDAD

Proposiciones

Conjunción
v
Disyunción Inclusiva
v
Disyunción Exclusiva
→
Condicional
↔Bicondicional
~
Negación
p
Antecedente
q
Consecuente
p  q
p v q
p v q

p → q
p ↔ q
P
~P
V
V
V
V
F
V
V
V
F
V
F
F
V
V
F
F


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


I. ¿Cuáles de los siguientes enunciados son verdaderos?

1.  Londres es la capital de Inglaterra .  Estocolmo es la capital de Noruega.
2-.  (Roma es la capital de España v París es lacapital de Francia).
3.  Roma es la capital de España v  París es la capital de Francia.
4.  Londres es la capital de Inglaterra v  Londres es la capital de Inglaterra.
5.  Estocolmo es la capital de Noruega .  Estocolmo es la capital de Noruega.
6.  (París es la capital de Francia . Roma es la capital de España) v (París es la capital de Francia .  Roma es la capital de España).
7.(Londres es la capital de Inglaterra v Estocolmo es la capital de Noruega) . ( Roma es la capital de Italia .  Estocolmo es la capital de Noruega).
8. Roma es la capital de España v  (París es la capital de Francia . Roma es la capital de España).
9. Roma es la capital de Italia.  (París es la capital de Francia v Roma es la capital de España).
10.  ( París es la capital de Francia . Estocolmo es la capital de Noruega).
11. [ ( Roma es la capital de España v  París es la capital de Francia) v  ( París es la capital de Francia v Estocolmo es la capital de Noruega)].
12. [ ( Londres es la capital de Inglaterra . Roma es la capital de España) . (Roma es la capital de España.  Roma es la capital de España)].
13.  [( Estocolmo es la capital de Noruega v París es lacapital de Francia) v  ( Londres es la capital de Inglaterra .  Roma es la capital de España)].
14. Roma es la capital de España v ( Londres es la capital de Inglaterra v Londres es la capital de Inglaterra).
15. París es la capital de Francia .  (París es la capital de Francia . Roma es la capital de España).
16. Londres es la capital de Inglaterra .  (Roma es la capital de Italia . Roma esla capital de Italia).
17. (Estocolmo es la capital de Noruega v  París es la capital de Francia) v  ( Estocolmo es la capital de Noruega .  Londres es la capital de Inglaterra).
18. (París es la capital de Francia v  Roma es la capital de España) v  ( París es la capital de Francia .  Roma es la capital de España).
19.  [ (Roma es la capital de España . Estocolmo es la capital de...