LOGICA PROPOSICIONAL Clara Araque

LOGICA
1. Aquello que es coherente
  1. Bien estructurado
2. Estudia los principios y estructuras del pensamiento
3. Permite verificar si el racionamiento es correcto o incorrecto
4. Estudio de la razon el en conocimiento
PROPOSICION
1. Enunciado al cual se le puede dar un valor de verdad
  1. Verdadero
    1. Paris es la capital de francia
  2. Falso
    1. 2+2=5
2. CLASES
  1. SIMPLES
    1. Se representan simbolicamente mediante el uso de letras minusculas
      1. p,q,r,s,t
    2. Sin conectivos logicos
      1. Daniela estudia
  2. Compuesta
    1. Usa conectivos logicos: y; o; entonces, etc.
      1. Daniela estudia y trabaja
    2. 2 o mas proposiciones simples
Se basa en la aplicacion de simbolos por medio de tablas de verdad, que nos permiten ver lo verdadero o falso de las proposiciones
Logica basada en proposiciones
Es la parte de la logica que estudia la formacion de proposiciones complejas a partir de proposiciones simples, y el valor de verdad
OPERADORES LOGICOS
1. Permiten decidir que valor de verdad tiene una proposicion
2. Negacion
  1. ~p:El acusado no dice la verdad
3. Doble negacion
  1. ~(~p):No es cierto que el acusado no dice la verdad
4. Conjuncion
  1. p^q: El acusado es pobre pero honesto
5. Disyuncion inclusiva
  1. rVs: llovera en la tarde o saldra el sol
6. Disyuncion exclusiva
  1. r°s:estoy o en guadalajara o en monterrey
TABLAS DE VERDAD
1. Las tablas de verdad constituyen un método de decisión para chequear si una proposición es o no un teorema.

Nächster

LOGICA PROPOSICIONAL Clara Araque

Beschreibung

Zusammenfassung der Ressource

Medienanhänge

ähnlicher Inhalt

	Erstellt von clara araque vor mehr als 8 Jahre