Lógica Proposicional

Guía de trabajo

EJERCICIO 1: Simbolice las siguientes proposiciones empleando el lenguaje de la Lógica

Proposicional. Indique también a qué oración o parte de la oración alude.

1. Picasso fue un gran pintor.

2. Maradona jugaba al football y Fangio corría carreras.

3. Ciertamente, no hay filósofo como Platón.

4. Mozart fue un genio musical y un compositor prolífico.

5. Chopin no escribió partituras para guitarra.

6. Carlos estudia o trabaja.

7. No es cierto que Borges haya escrito el Martín Fierro.

8. Juan ha llegado si hoy es jueves.

9. No es verdad que hoy es jueves y Juan no ha llegado.

10. Si hoy no es jueves, Juan no ha llegado.

11. Si hoy es jueves, Juan ha llegado.

12. Heráclito y Parménides fueron filósofos.

13. La ciencia, la filosofía y la tecnología son campos de investigación.

14. Vicente y Teo van Gogh eran hermanos.

15. Beethoven y Mozart compusieron sonatas y conciertos.

16. O bien Chopin era polaco, o bien era francés, pero no se llamaba Federico.

17. No es cierto que la música popular no sea buena.

18. Sócrates o existió o no.

19. No es cierto que Beethoven haya compuesto treinta y dos sonatas para piano y quince
sinfonías.

20. Galileo no fu un artesano y Descartes tampoco lo fue.

21. Si Ana conoce la historia, entonces podrá responder correctamente.

22. Es condición suficiente que escuches un nocturno de Chopin para que ames al
compositor y a su música.

23. No asistiremos a la conferencia si no nos invitan especialmente los organizadores o el

propio conferencista.

24. Los empleados saldrán de su oficina antes de las 18 hs sólo si el balance no contiene
errores.

25. Sólo si contestó satisfactoriamente al menos la mitad de las preguntas, su examen fue
aprobado.
26. No es cierto que sólo si se ha razonado correctamente, la conclusión del razonamiento
es verdadera.

27. Es condición necesaria que sepas Matemáticas, para que comprendas las teorías físicas
y astronómicas.

28. Sólo si el cumpleañero quiere, la fiesta será postergada para el próximo viernes o
sábado.

29. Si no se reúne la comisión directiva, o bien el secretario deberá resolver la situación o

bien el conflicto se extenderá.

30. No es cierto que si Claudio se inscribe en el concurso y se prepara intensamente, no

pueda obtener el cargo que desea.

31. La ciencia es un conocimiento objetivo sólo si las teorías se exponen a la crítica y los
científicos no se aferran dogmáticamente a sus ideas.

32. Es condición suficiente que hayas leído los textos y no olvides los conceptos
fundamentales, para que tu rendimiento sea satisfactorio.

33. Si y solo si sos graduado universitario, dominas dos idiomas y sos ciudadano argentino
podés ingresar a la carrera diplomática.

34. La función será exitosa si y sólo su la obra elegida interesa al público y los actores
desempeñan bien sus papeles.

35. Es condición necesaria y suficiente que seas sensible, para que te conmuevas si
escuchas “Uno” o “Yira”.

36. Si apreciaras el arte, entonces, si puede contemplar “La Cena” de Leonardo da Vinci, no
dejarás de conmoverte.

37. Juan y Pedro no son universitarios.

38. El padre y el hijo se aprecian.

39. Es condición suficiente que tenga autodominio para que pueda pensar con calma y
ordenadamente; pero si carece de él, ni podrá pensar con calma ni hallará la solución
que busca.

40. No es cierto que el afamado tenor acceda a interpretar obras fuera de programa sólo si
el público lo ovaciona y él no se siente muy cansado.

EJERCICIO 2: Determinar por el método de las tablas de verdad, el valor de verdad de las
siguientes fórmulas:

1) p. q

2) p . (q→r)

3) p . –p

4) p v -p

5) [(p . – p) v r] → r

6) (p q)  [(p→q) . (q→p)]

7) (p . –p) v (q. –q)

8) [(p→q) . p] →q

9) [(p→q) . q] →p

10) {-[-p . (q →r)] . – [ - p v (-q  r)]}

EJERCICIO 3: Simbolizar los siguientes enunciados y determinar por el método de tablas
de verdad si son tautologías, contradicciones o contingencias:

1) O bien Bach era barroco o bien era romántico.

2) “La Traviata” es una obra de Verdi o no lo es.

3) Carlos y Raúl son colegas pero se detestan.

4) Si sabe inglés podrá comprender ese texto; pero si lo ignora, deberá buscar una
traducción.

5) Si no se dedica a la investigación social ni a la investigación en ciencias naturales

entonces, o bien es un tecnólogo o bien es un filósofo.

6) Si estuvo en París, entonces asistió al congreso filosófico y visitó el Louvre.

7) Podremos viajar este fin de semana si los pasajes no se agotaron.

8) Si tiene certificado de estudios, podrá iniciar estudios superiores en la facultad; de

lo contrario no podrá inscribirse en ella.

9) Es incompatible que llueva y haga frío con que se realice la fiesta en el jardín o la
terraza.

10) Ni Platón ni Aristóteles son contemporáneos pero muchas de sus ideas están
vigentes todavía.
3.1.2 Proposiciones Compuestas (Disyunción, Conjunción, Negación,
Condicional, Bicondicional).

DISYUNCIÓN: Se representan dos enunciados separadas por la expresión o basta con que una sea
verdadera para que se cumpla la proposición (pvq). Su símbolo es: V

EJEMPLOS:

Está lloviendo o es de noche.

Está feliz o está enojado.

Está caminando o está lloviendo.

Hay derivadas o hay integrales.

~CONJUNCIÓN: Es cuando dos proposiciones simples se combinan mediante la expresión y , la

proposición compuesta resultante se le llama conjunción (pΛq). Su símbolo es: Λ, &, ·

EJEMPLOS:

La puerta está vieja y oxidada.

Hace frío y está nevando.

Está lloviendo y es de noche.

Tiene gasolina y tiene corriente.

NEGACIÓN: Si p es una proposición fundamental, de ésta se puede formar otra proposición, que se le
llama Negación de p, escribiendo: “Es falso que” antes de p, ó, cuando es posible, se inserta en p la
palabra “No”, (¬p) Su símbolo es: ¬, ~

EJEMPLOS:

No está lloviendo.

La señora no ceno.

Es falso que 5×2=12.

Es falso que Alemania se encuentra en Europa.

~CONDICIONAL: Es aquella proposición compleja cuya conectiva dominante es el condicional, es decir,

aquella expresión apofánatica que tiene la forma p → q, y que se lee “si p, entonces q” o bien “p es
condición suficiente de q”, donde A es el antecedente y B el consecuente. Su símbolo es: →

EJEMPLOS:

Si está dormido entonces está soñando.

Si quiere comer entonces tiene hambre.

Si Londres está en Inglaterra entonces París está en Francia.

Si hay gasolina en mi tanque entonces mi automóvil funciona.

BICONDICIONAL: También llamado equivalencia o implicación doble, es una proposición de la forma “P si

y sólo si Q”, en la cual tanto P como Q son ambas ciertas o ambas falsas. También se dice que Q es una
condición necesaria y suficiente para P,(p↔q). Su símbolo es: ↔, ≡

EJEMPLOS:

Esta completo si y solo si tienes todas las actividades.

Saldrás si y solo si acabaste tu tarea.

Está lloviendo si y solo si está nublado.

3+2=5 si y solo si 4+4=8

3.1.4 Tautologías, Contradicción y Contingencia.

♦Con cinco conectivas lógicas básicas se construyen proposiciones compuestas que pueden ser
tautologías, contradicciones o contingencias.

 Si la tabla de verdad de la proposición es siempre verdadera, independientemente de la verdad

o falsedad de las proposiciones simples, entonces la expresión es tautológica.

 Si la tabla de verdad es siempre falsa, será una contradicción.

 Si es verdadera y falsa, la proposición es una contingencia.

•TAUTOLOGÍA: Una proposición compuesta es una tautología si es verdadera para todas las asignaciones
de valores de verdad para sus proposiciones componentes. Dicho de otra forma, su valor V no
depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que
están establecidas las relaciones sintácticas de unas con otras. Sea el caso:
•CONTRADICCIÓN: Se entiende por proposición contradictoria, o contradicción, aquella proposición que
en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma,
su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la
forma en que están establecidas las relaciones sintácticas de unas con otras. Sea el
caso:

•CONTINGENCIA:Se entiende por verdad contingente, o verdad de hecho, aquella proposición que
puede ser verdadera o falsa, (combinación entre tautología y contradicción) según los
valores de las proposiciones que la integran. Sea el caso: