Mapa mental: Formalización de Proposiciones

Explorar

Mapa mental: Formalización de Proposiciones · Formatom

Formalización de Proposiciones

Contenido del mapa

Formalización de Proposiciones — Traducir frases del español a fórmulas con letras y símbolos.
- ¿Qué es formalizar? — Pasar del lenguaje cotidiano al lenguaje lógico.
  - Traducir a símbolos — Cambias ideas por letras p, q y uniones por símbolos como ∧.
  - Para pensar más rápido — Como escribir XD en el chat, evitas palabras largas y confusiones.
- Elementos básicos — Las 3 piezas que necesitas para formalizar.
  - Proposición — Oración que puede ser verdadera o falsa, no ambas. Ej: llueve.
  - Variable p, q, r — Letra que representa una idea simple. Es su inicial corta.
  - Conectivo lógico — Símbolo como ∧ o → que une ideas. Es el pegamento.
- Conectivos clave — Qué palabra en español corresponde a cada símbolo.
  - Negación ¬ — no, es falso que, no es cierto que. Ej: ¬p.
  - Conjunción ∧ — y, pero, aunque, sin embargo, además. Ej: p ∧ q.
  - Disyunción ∨ — o, al menos una de las dos. Ej: p ∨ q.
  - Exclusiva Δ — o bien... o bien, ya sea... ya sea. Ej: p Δ q.
  - Condicional → — si... entonces, por tanto, luego. Ej: p → q.
  - Bicondicional ↔ — si y solo si, cuando y solo cuando. Ej: p ↔ q.
- 4 pasos para formalizar — Orden fijo de lo fácil a lo difícil.
  - 1. Buscar ideas simples — Separa partes que solas pueden ser V o F. Ignora y, o, si.
  - 2. Poner letras — Asigna p, q, r, s a cada idea. Anótalo como diccionario.
  - 3. Encontrar uniones — Usa la tabla de palabras clave para elegir ¬, ∧, ∨, Δ, →, ↔.
  - 4. Armar fórmula — Une los bloques con símbolos y paréntesis para evitar doble lectura.
- Uso de paréntesis — Agrupan lo que va junto para leer sin ambigüedad.
  - Primero y / o — Agrupa (p ∧ q) y (¬r ∧ s) antes de unir todo.
  - Después si... entonces — Une los bloques con →: ((p ∧ q) → (¬r ∧ s)).
  - Lee de adentro afuera — Lo que está dentro de ( ) se lee primero y manda.
- Trampas comunes — Errores típicos que debes evitar.
  - No va pegado — No saldré no son dos ideas, es una sola negada: ¬r.
  - Pero es un y — Pero afirma las dos cosas a la vez, solo le pone emoción.
  - Si inicial manda lejos — Todo tras el entonces es el segundo bloque. Las comas marcan bloques.

Formalizar una proposición es traducirla del español al idioma de la lógica. Cambias cada idea simple por una letra como $p$ y cada palabra de unión por un símbolo como $\land$ . Así puedes trabajar con frases como si fueran operaciones matemáticas.

Para formalizar necesitas tres elementos básicos: la proposición, que es una oración que puede ser verdadera o falsa; la variable proposicional como $p$ , $q$ o $r$ , que representa cada idea simple; y el conectivo lógico como , , , , o , que une las ideas. Es como escribir XD en vez de estoy riéndome mucho: usas símbolos cortos para pensar más rápido y sin confusiones.

\lnot