TUTORIA VIRTUAL LÓGICA MATEMÁTICA PRIMER BIMESTRE

TABLAS DE VERDAD Todos las variables de enunciado pueden tener dos valores de verdad V F Las TV son utilizadas para conocer como la verdad o falsedad de un enunciado compuesto, depende de la verdad o falsedad de las enunciados simples que la componen.

Todos las variables de enunciado pueden tener dos valores de verdad V F

Las TV son utilizadas para conocer como la verdad o falsedad de un enunciado compuesto, depende de la verdad o falsedad de las enunciados simples que la componen.

REDUCCIÓN DE PROPOSICIONES Utilización de leyes del algebra de proposiciones. Se obtiene otra proposición equivalente. a) P -> (P -> P) b) (P ->Q) -> (P ^ S) c) ((P ^ Q) ^ (P ^ R)) -> -( P ^ Q) d) ((P ->Q) v (P ->R)) ^ (-P ^ -R)

Utilización de leyes del algebra de proposiciones.

Se obtiene otra proposición equivalente.

a) P -> (P -> P)

b) (P ->Q) -> (P ^ S)

c) ((P ^ Q) ^ (P ^ R)) -> -( P ^ Q)

d) ((P ->Q) v (P ->R)) ^ (-P ^ -R)

MÉTODOS DE PRUEBA Y DEDUCCIÓN NATURAL Método Directo: Utiliza las leyes y las reglas de inferencia para obtener la directamente la conclusión. Método Indirecto: Introduce en las premisas la negación de la conclusión y se trata de obtener una contradicción.

Método Directo: Utiliza las leyes y las reglas de inferencia para obtener la directamente la conclusión.

Método Indirecto: Introduce en las premisas la negación de la conclusión y se trata de obtener una contradicción.