Zusammenfassung der Ressource
Lógica y cálculo proposicional
- Proposiciones y operadores lógicos
- La Proposición
- Oración que tiene valor de verdad : puede seer falsa o verdadera
- Es fundamental en la lógica
- Se clasifican en
- compuestas o mpleculares
- Pitagora era griego y geómetra
- Simples o atómicas
- Ej: p: el oro es un metal precioso
- Traducción del lenguaje natural al simbolico y del lenguaje simbolico al antural
- Lenguaje natural
- Lenguaje simbólico
- Traducir
- Aptitud de traducir: del lenguaje natural al simbolico.
- Esta constituida ´por simbolos
- Lengua materna
- Operadores Lógicos
- Es el valor de verdad de una proposición
- Negación
- p será falsa cuando se niegue una proposción V y será verdadera cuando se niegue una proposición F
- Algunas formas de negación:
- No, nunca, ni, jamás,, es falso, no e scierto, no ocurre, de ninguna manera, de ninguna forma, por nadade, en lo abosoluto, entre otras.
- Tabla de verdad de la negación
- Doble negación: Algunas formas son:
- no es cierto que no, no ocurre que no, no es falso que no, no es cierto que ocurre que no, no ocurre que, no es cierto que jamás etc,
- Conjunción
- Disyunción Inclusiva
- Disyunción exclusiva
- Algunas formas exclusiva son: o, bien, u o
- Algunas formas son: o, bien, u,
- Proposiciones condicionales
- Condicionl o implicación
- Algunas formas: Si, entonces, se sigue, por tanto, se infiere, de ahi que, se deduce, implica,
- Bicondicional o equivalencia
- Formas: si y solo si, entonces y solo entonces, es idéntico, equivale a , es equivalente a,
- Tablas de verdad
- Ludwig Josef Johann (1859-1951
- Sirve para determiar las condciones d verdad de u enunciado.