L1gica Proposicional y Conectores L2gicos

Apuntes

Lógica Proposicional y Conectores Lógicos Lógica Proposicional y Conectores Lógicos Capítulo 1: Proposiciones Una proposición es una oración que puede ser verdadera (V) o falsa (F), pero no ambas al mismo tiempo. Las proposiciones son la base de la lógica formal y de la programación lógica. Ejemplos de proposiciones: - "Hoy es lunes." (Puede ser verdadera o falsa) - "El cielo es azul." (Puede verificarse su valor de verdad) No son proposiciones: - "¿Qué hora es?" (No tiene valor de verdad) - "¡Cierra la puerta!" (Es una orden, no una afirmación) Valor de verdad: - V: Verdadero - F: Falso Capítulo 2: Conectores Lógicos Los conectores lógicos son símbolos o palabras que permiten unir proposiciones para formar proposiciones compuestas. Tipos de conectores lógicos: 1. Negación (NOTP o ~P) - Cambia el valor de verdad de una proposición. - Tabla de verdad: P | NOTP Lógica Proposicional y Conectores Lógicos --|--- V | F F | V 2. Conjunción (P AND Q) - Solo es verdadera si ambas proposiciones lo son. - Tabla de verdad: P | Q | P AND Q --|---|------ V | V | V V | F | F F | V | F F | F | F 3. Disyunción inclusiva (P OR Q) - Es verdadera si al menos una proposición es verdadera. - Tabla de v...