Introducción

La lógica es la ciencia que estudia los métodos y los principios usados para distinguir el
argumento correcto del incorrecto.

La lógica trata de:

 Razonamiento
 Argumentación
 Mundo Lógico
 Practicas Inferenciales

La lógica simbólica se define como el acto de creación de un lenguaje artificial para hacer
frente a los complejos argumentos lógicos.

Una proposición es una oración que es verdadera o falsa, pero NO verdadera y falsa a la vez.

Ejemplo: Dolly fue la primera oveja clonada.

Expresiones Lingüísticas que no son Proposiciones

 El cuadrilátero es un polígono de cuatro lados. Verdadera

 ¿Qué es la lógica? No es una proposición porque es una oración interrogativa
 Debemos honrar a nuestros héroes. No es proposición porque es imperativa.
 Sea en una hora buena. No es proposición porque es una oración desiderativa.
 ¡Por Júpiter! ¡Casi me saco la lotería! No es proposición porque es exclamativa.
 Quizá llueva mañana. No es proposición porque es una oración dubitativa.
 Valentín es bueno. No es proposición porque constituye juicio de valor.
 El triángulo es moderno. Es falsa proposición porque no tiene sentido.
 Caros es un numero racional. Es falsa proposición porque no tiene sentido.
 x + 8 = 15. No son proposiciones porque no tiene letras para interpretar.
 A es la capital de Rusia. No es proposición porque no se puede interpretar.
 La realidad es duración. Son filosofemas no proposiciones.
 La materia se mueve en un ciclo eterno. No es proposición porque es filosofema.

En conclusión, para que una expresión lingüística sea proposición debe cumplir los siguientes
requisitos:

 Ser oración.
 Ser oración aseverativa.
 Ser o bien verdadera o bien falsa.

Clasificación de las Proposiciones

Las proposiciones pueden ser simples o compuestas.

Las proposiciones simples carecen de conjunciones gramaticales típicas o conectivas (y, o, si …

entonces, si y solo sí) o del adverbio de negación “o”.

Las proposiciones predicativas constan de sujeto y predicado.

Las proposiciones relacionales constan de dos o más sujetos vinculados.

Ej. Silvia es hermana de Angélica

Las proposiciones compuestas, según el tipo de conjunción, se clasifican en conjuntivas,
disyuntivas, condicionales y bicondicionales, si llevan el adverbio de negación “no”, son
negativas.

 Las proposiciones conjuntivas: llevan la conjunción “y” o sus expresiones equivalentes

como: e, pero, aunque, aun cuando, tanto… como, sino, ni… ni, sin embargo, además,
etc. Ej. El número cuatro es par, pero el número siete es impar.
 Las proposiciones disyuntivas: llevan la conjunción disyuntiva “o”, o sus expresiones
equivalentes como: u, ya… ya, bien… bien, ora… ora, sea… sea, y/o. En español la
disyunción “o” tiene dos funciones, inclusiva que admite que ambas partes pueden
darse al mismo tiempo y la exclusiva que no admite que las dos alternativas se den
simultáneamente. Ej. Carlos es padre o tío, Elena está viva o está muerta.
 Las proposiciones condicionales: llevan la conjunción condicional compuesta “si…
entonces” o sus expresiones equivalentes como: si, siempre que, con tal que, puesto
que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, solo si,
solamente sí. Ej. Si es joven, entonces es rebelde. Es carnívoro si se alimenta de carne.
La proposición que le sigue a la palabra “si” se llama antecedente y la que sigue a la
palabra “entonces” se denomina consecuente.
 Las proposiciones bicondicionales: llevan la conjunción compuesta “…si y solo si…” o
sus expresiones equivalentes como: cuando y solo cuando, si… entonces y solo
entonces…, etc. Ej. Habrá cosecha cuando y solo cuando lleva. Es hondureños si y solo
si nació en Honduras.
 Las proposiciones negativas: llevan el adverbio de negación “no”, o sus expresiones
equivalentes como: nunca, jamás, tampoco, no es verdad que, no es cierto que, es
falso que, le falta, carece de, sin, etc. Ej. Nunca he oído a ese grupo. Jamás he contado
esa canción.

Traducción y Combinación de Conectivos

Carolina es atractiva y Sara es atractiva

p= Carolina es atractiva.

q= Sara es atractiva.

=p^q

O carolina es atractiva o Sara es atractiva

p= Carolina es atractiva.

q= Sara es atractiva

= (p v q) ^ - (p ^ q)

Tanto Carolina como Sara son feas

-p= Carolina es fea

-q= Sara es fea

(-p) ^ (-q)