LOGICCA

UNIDAD 2
Proposición: Sucesión de palabras de la cual tenga sentido afirmar que la misma sea verdadera o falsa (simple y compuesta)
Conjunción: Y (ʌ) Disyunción: O (v) Negación: No (~)Implicación: (→) Equivalencia (↔)
Tablas de verdad
Conjunción: Las dos V para ser V.
Disyunción: Uno de las 2 V para ser V
Implicación: Tienen que ser las 2 V o F para ser V
Equivalencia: Tienen que ser las2 V o F para ser V
Tautología: Todo V. Anti tautología (Todo F). Contingencia (V y F mesclados)
Implicaciones Asociadas: Reciproca (q→p), Contraria (~p→~q), Contra reciproca (~q→~p)
Negación dela implicación: es la conjunción del antecedente y la negación del consecuente.
UNIDAD 3
Razonamiento deductivo: razonamiento que ofrece fundamentos concluyentes para aceptar la conclusión. Es decir,la conclusión se desprende necesariamente de las premisas
Método Directo: Se parte de una premisa verdadera donde utilizamos las leyes loicas ya demostradas hasta afirmar quela conclusión esverdadera
Estructura Lógica: Universal afirmativa (Todo), Universal negativa (ningún), Particular Afirmativa (algún), particular negativa (algún- no)
UNIDAD 4
Función Proposicional: Existencial = Ǝ(Existe al menos) Universal=Ұ (Para todo)
Negación del Existencial: cambiar cuantificador en Univ. Y negar función proposicional
Negación del Universal: cambiar cuantificador en Exist. Y negar lafunción proposicional.
UNIDAD 5
Reflexiva: (a,a) Є R→ a є R
Anti Reflexiva: (a,a) ₵ R → a Є R
Simétrica: (a,b) Є R → (b,a) Є R
Anti simétrica: (a,b) Є R ʌ (b,a) Є R → a=b
Transitiva: (a,b) Є R ʌ (b,c)Є R → (a,c) Є R
Relaciones de Equivalencia : Reflexiva, Simétrica y Transitiva
Relaciones de Orden: Reflexiva, Anti simétrica y Transitiva
Orden Estricto: Anti simétrica y Transitiva
UNIDAD 7Proposición categórica: Una proposición es categórica si se permite afirmar o negra la inclusión parcial o total de un conjunto en otro (UnIv Afirmativa, Univ Negativa, Part Afirmativa, Part Neg)...