GIMP

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, 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 u opcionesLa “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 es ciertoque
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


Ejercicios tomados del libro Introducción a la Lógica de Irving Copi
I. ¿Cuáles de los siguientes enunciados son verdaderos?

1. Londres es la capital de Inglaterra. Estocolmo es la capital deNoruega.
2-. (Roma es la capital de España v París es la capital 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 deFrancia. 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 vParís es la capital 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 es la 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...