Formulario de Algebra I Lgica Matemtica Conectivos Lgicos Conectivo Conjuncin Disyuncin inclusiva Disyuncin excluyente Condicional Bicondicional Negacin

Negacin Conjunta Negacin Alterna Tablas de Verdad p V V F F q V F V F pq V F F F p q V V V F p q F V V F pq V F V V p q V F F V ~p F F V V Smbolo pq p q p q pq p q ~p p q p/q

Lgica Matemtica

Significado pyq pq opq p entonces q p si y solo si q no p ni p ni q p incompatible con q

p q F F F V

p/q F V V V

Leyes Lgicas Doble Negacin Conmutatividad Asociatividad Distributividad ~ (~ p) p p qq p p qq p p (q r) (p q) r p (q r) (p q) r p (q r) (p q) (p r) p (q r) (p q) (p r) p Vp p FF p VV p Fp p ~pF p ~pV p pp p pp p q~p q p q (p q) (q p) p (p q) p p (p q) p ~ (p q) ~ p ~ q ~ (p q) ~ p ~ q 1

Condiciones de Identidad

Condiciones de Negacin Idempotencia Definicin de Implicacin Definicin de Equivalencia Leyes de Absorcin Leyes de Morgan http://carlos-eduardo.webs.tl

Formulario de Algebra I Reglas de Inferencia p ---------p q pq --------p

Lgica Matemtica

Adicin

Simplificacin

p q -------q

Conjuncin

Modus Ponens

Modus Tollens

Silogismo Hipottico

Silogismo Disyuntivo

Dilema Constructivo

Dilema Destructivo

p q ---------pq pq p -------------q ~q pq -------------~p pq qr ------------pr p q pq ~p ~q --------------------------q p pq rs p r ------------q s pq rs ~q ~s ------------~p ~r

Contrarecprocos ~ ~ ~ ~

http://carlos-eduardo.webs.tl