El documento describe conceptos básicos de lógica proposicional como proposiciones atómicas y moleculares, la lógica simbólica y sus símbolos, las tablas de verdad, y las relaciones lógicas entre proposiciones. Explica que las proposiciones atómicas son las unidades mínimas y las moleculares están compuestas por estas. La lógica simbólica formaliza el lenguaje lógico mediante procesos de abstracción e interpretación usando símbolos como variables y constantes.

1. LOGICA Y EPISTEMOLOGIA Coletto Antonella Baldinelli Martina

2. Proposiciones atómicas y moleculares Lógica simbólica Clases de símbolos Tautología y contingencia Leyes lógicas Relaciones lógicas entre proposiciones

3. Se dividen en: ATÓMICAS: son las mínimas unidades de las que tiene sentido predicar su verdad o falsedad. Cada proposición atómica se simboliza mediante las letras “p”,”q”,”r”,”s”, etc., llamadas variables proposicionales. MOLECULARES: Están compuestas por unas o mas atómicas y su valor de verdad, es decir, el ser verdaderas o falsas, esta en función del valor de verdad de las preposiciones atómicas componentes.

4. Lógica simbólica La lógica simbólica o matemática es totalmente formalizada. Se aplica en ciencias exactas, naturales, y en las modernas técnicas. Se dan 2 procesos:

5. Abstracción: consiste en traducir una expresión del lenguaje común al lenguaje de los símbolos lógicos matemáticos. Interpretación: es el proceso inverso al anterior.

6. Clases de símbolos Variables: son letras que representan una proposición. Por ejemplo:”p”,”q”,”r”,”s”,”t”. estas variables designan proposiciones atómicas. Constantes: son símbolos permanentes de valor único. Unen las variables proposicionales. Clases de Símbolos :

7. P -p V F F V P q p  q V V V F V V V F V F F V P q p=>q V V V F V V V F F F F V P q pvq pwq V V V F F V F F V F V V F F F F P q p-q V V V F V F V F F F F F Tabla de verdad Napoleón murió en Francia Napoleón no murió en Francia. Ingresa a la facultad, si solo si aprueba el examen. si estudia ingles, entonces ira a ee.uu Me serviré café o te. Rocco es un perro y linda es una gata Ejemplo - P  q p => q Incluyente: V Excluyente: W . Símbolo Invierte el valor de una proposición. Expresa equivalencia, son V si ambos componentes tienen el mismo valor de verdad. Antecedentes Consecuente Nexo: si, entonces, Si se antecedente es V y si consecuente es F , entonces es F la conectiva es “o”, “o bien”,etc. La o es ambigua puede ser incluyente( lo uno o lo otro) o excluyente( lo uno lo otro pero no ambos) A veces se afirma en una misma proposición la unión de dos atómicas. Se usan “y”, ”pero” “aunque” Caracteres Ticas negaciones bicondicionales condicionales disyunciones conjunciones

8. Las tautologías son formas proposicionales que corresponden a proposiciones lógicamente verdaderas, es decir, verdaderas por su sola forma lógica. El resultado es siempre una proposición verdadera. Las contradicciones son formas proposicionales que corresponden a proposiciones lógicamente falsas, es decir, falsas por su sola forma lógica. Las contingencias son formas proposicionales que corresponden a proposiciones lógicamente indeterminadas, es decir, proposiciones que son verdaderas o falsas.

9. Leyes Lógicas Se denomina ley lógica a toda forma proposicional tal que al sustituir sus variables por constantes, es decir, las letras proposicionales por proposiciones, el resultado siempre es una proposición verdadera.

10. Relaciones lógicas entre proposiciones Implicación: una proposición A implica lógicamente a otra B cuando no puede darse que A sea verdadera y B sea falsa. Equivalencia: dos proposiciones A y B son lógicamente equivalentes cuando A implica a B y B implica a A. si dos proposiciones son lógicamente equivalentes no puede ocurrir que tengan distinto valor de verdad; siempre que una sea verdadera siempre será la otra. Y si es falsa también. Contradicción: dos proposiciones A y B son lógicamente contradictorias cuando no pueden ser ni ambas verdaderas ni ambas falsas.