Logica Propisicional

Concepto
Proceso de analisis de relaciones entre propisiciones y la verdad o falsedad de las mismas

Elementos
Variables
Simbolos que usamos para sustituir a los enunciados podemos usar cualquier simbolo pero por convension usamos las letras: p, q, r, s, t

Conectores
Alteran, relacionan o conectan nuestros enunciados o variables pueden ser:
Negacion~ ¬: Cambia el sentido del enunciado ejemplo p: esta lloviendo ~p: no esta lloviendo
Conjuncion ^: Agrupa dos enunciados y afirma que ambos se cumplen Ejemplo: p: hoy llueve q: mañana soleara p^q: hoy llueve y mañana soleara
Disyuncion v: Agrupa dos enunciados y afirma uno de ellos se cumple Ejemplo: p: mañana soleara q: mañana hara mucho frio q v q: mañana soleara o hara mucho frio
Condicional →:Agrupa dos enunciados y afirma si el primero se cumple el segundo tambien lo hara: p: esta despejado q: esta soleando p→q: esta despejado entonces esta soleando
Bicondicional ↔: Agrupa dos enunciados y afirma si un enunciado se cumple el otro tambien lo hara: p: mi casa se inundara q:llueve mucho q↔q: mi casa se inundara si y solo si llueve mucho

Auxiliares(agrupacion): ()[]{}
Se usan para clasificar la informacion y hacerla más entedible

Conceptos Basicos:

• Enunciado: Conjunto de palabras con sentido
• Proposicion: Enunciado al que se le puede dar un valor de verdad
• Premisa: Proposicion afirmada
• Argumento: Conjunto de premisas
• Conclusion: Aseveracion del argumento

Inferencias Logica
Proceso de razonamiento por el que se deriva una conclusion desde una o varias premisas

Clasificacion:
Segun el Nro de Premisas:
Inmediata: tiene una sola premisa
Ejemplo
premisa1: hoy el cielo esta despejado
conclusión: soleará mucho

Mediata: tiene más de una premisa
Ejemplo
premisa1: estamos en junio
premisa2: en junio el cielo esta despejado
conclusión: soleará mucho

Segun la forma de razonamiento:
Deductiva: Extrae una conclusion particular de una premisa genera
Ejemplo:
Premisa1: Todos los cuervos que vi hasta ahora son negros
Conclusión: Todos los cuervos con negros

Inductiva: Extrae una conclusion general de premisas particulares
Ejemplo:
Premisa1: Los animales que comen carne son carnivoros
Premisa2: El leon come carne
Conclusion: el leon es carnivoro