LÓGICA PROPOSICIONAL

Annotations:

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

1. simples o atomicas: a la proposición se le asigna una variable proposicional
2. 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

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

1. negacion
2. doble negacion
   1. disyucion inclusiva
      1. disyucion exclusiva
3. conjucion

1. 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.