LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL

1. caracteriaticas y estructura

   • Oración que tiene un valor de verdad puede ser verdadero o falso

2. clasificacion

   • simples o atomicas: a la proposición se le asigna una variable proposicional
   • compuestas o moleculares: están formadas por dos proposiciones simples. a) Pitágoras era griego y geómetra. p: Pitágoras era griego. q: Pitágoras era geómetra

3. Traducción del lenguaje natural al simbólico y del lenguaje simbólico al natural

   • se puede traducir proposiciones compuestas constituidas por más de dos proposiciones simples.

4. Operadores lógicos: decide qué valor de verdad tiene una proposición.

   • negacion
   • doble negacion
     • disyucion inclusiva
       • disyucion exclusiva
   • conjucion

5. Proposiciones condicionales

6. TABLAS DE VERDAD

   • Los argumentos: premisas y conclusiones. Un argumento es un conjunto de una o más proposiciones, la última de las cuales se denomina conclusión, mientras que las anteriores se llaman premisas.

Imagens e arquivos do mapa