FUNCIONES DE                      3.4. Condicional               5. Principios Lógicos         7. Método Abreviado
       ...
Upcoming SlideShare
Loading in …5
×

Funciones De Verdad

2,685 views
2,562 views

Published on

esquema

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
2,685
On SlideShare
0
From Embeds
0
Number of Embeds
8
Actions
Shares
0
Downloads
33
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Funciones De Verdad

  1. 1. FUNCIONES DE 3.4. Condicional 5. Principios Lógicos 7. Método Abreviado p q p→q Tautologías enunciadas por [A → (B∧∼ B)] → ∼A VERDAD V V V Aristóteles en Organon Ley de Reducción al Absurdo 1. ¿Qué es la verdad? V F F 5.1. Identidad 1. Suponemos un valor * Correspondencia entre el F V V p ´p↔p p→p adecuado para la fórmula pensamiento y la realidad. F F V V V V 2. Tratamos de hallar una * Cuando “p” es verdad, ocurre 3.5. Bicondicional F V V contradicción realmente que p p q 5.2. No Contradicción 3. Determinamos su p↔q 2. Tabla de Verdad p ´∼p ∼(p∧∼p) característica tabular V V V * Gráfico que permite hallar el Ejemplos: valor veritativo de los esquemas V F F V F V F V F F V V 1. ( p → q) → ( ∼ p ∨ q ) * Si una fórmula tiene “n” V F FVFF variables diferentes, entonces F F V 5.3. Tercio Excluido 3.6. Negación p ´∼p p∨∼p VF F tiene 2n filas La fórmula es una tautología * Propuesto por Wittgenstein p ´∼p V F V 3. Funciones de Verdad V F F V V 2. ( p ∧ q ) ∧ ∼ q 3.1. Conjunción F V 6. Leyes de tabla de verdad VV V V VF p q p∧q 4. Clasificación de esquemas (T ∧ Q) ↔Q Es una contradicción V V V 4.1. Tautología (T) (⊥ ∧ Q) ↔⊥ V F F p q (p→q)↔(∼p∨q) (T ∨ Q) ↔T 3. ∼ ( p ∨ q ) ∨ ( p ∧ q ) F V F V V V (⊥ ∨ Q) ↔Q F ¿? V ¿? F ¿? F ¿? F F F V F V (T↮ Q) ↔ ∼Q ¿? V ¿? 3.2. Disyunción Débil F V V (⊥↮ Q) ↔ Q Es consistente o contingente p q p∨q F F V (T → Q)↔Q V V V 4.2. Contradicción (⊥) 4. [(p→q)∧p∧(r→s)∧r]→(q∧s) (⊥ → Q) ↔T V F V p ∼p p∧∼p (Q → T)↔T VVV V VVV V VVV F V V V F F V F F (Q→⊥) ↔~Q F F F F V F Es tautología 3.3. Disyunción Fuerte 4.3. Consistencia (Q) (T↔ Q) ↔Q p q p↮q p q (⊥↔ Q) ↔∼Q 5. [(p→q)∧(r→s)]↔[(p∧r)→(q∧s)] (p→q)∧(q→p) V V F * Considera: Es consistencia V V V V F V T=V V F F F V V ⊥=F 6. [(p→q)∧(∼p→q)]↔[(p∨∼p)→q] F V F F F F Q=p Es tautología F F V

×