Introducción a la simbolización de proposiciones y conectivos lógicos

Apuntes

• Subtema: Introducción a la Simbolización de Proposiciones En lógica, se utilizan símbolos para representar proposiciones, ya sean atómicas o moleculares. Esto se debe a que las proposiciones suelen ser largas y repetitivas, lo que dificulta su manejo. Los símbolos comúnmente utilizados son letras mayúsculas como P, Q, R, S, A, B, etc. • Subtema: Ejemplos de Simbolización Por ejemplo, si tenemos las siguientes proposiciones atómicas: a. El primer grupo social es la familia y esto es el núcleo fundamental de toda sociedad. - A: El primer grupo social es la familia. - B: Esto es el núcleo fundamental de toda sociedad. Se expresa como: A y B. b. El hierro es un metal sólido o es un metal orgánico. - M: El hierro es un metal sólido. - N: Es un metal orgánico. Se expresa como: M o N. c. Si \(x^2 = 81\) entonces \(x = 9\). - T: \(x^2 = 81\). - U: \(x = 9\). Se expresa como: Si T entonces U. d. Un gobierno es democrático si y solo si practica la igualdad de todos ante la ley. - H: Un gobierno es democrático. - I: Practica la igualdad de todos ante la ley. Se expresa como: H si y solo si I. e. La luna no es el satélite natural de la Tierra. - C: La luna es el satélite natural de la Tierra...