GuÃ-a primer examen MEF [parte teórica]

1
Universidad de Guadalajara Calendario 2015 A Lógica matemática I (lógica proposicional) Dr. Fabián Bernache Maldonado epartamento de Filosofía aestría en Estudios Filosóficos D M Guí primer a para el examen 1. Enumera la totalidad de los elementos que constituyen el vocabulario de la lógica roposicional. p 2. Por qué se dice de la lógica proposicional que se trata de una lógica bivalente? ¿ 3. Explica en qué consiste un enunciado simple y un enunciado compuesto en lógica roposicional. p 4. ¿Cuándo un enunciado compuesto de la lógica proposicional está correctamente ormado? f 5. ¿En qué consiste la verifuncionalidad (o veritativo‐funcionalidad, o función de verdad) e los enunciados compuestos de la lógica proposicional? d 6. Cuándo un enunciado de la lógica proposicional es tautológico? ¿ 7. Cuándo un enunciado de la lógica proposicional es contingente? ¿ 8. ¿Cuándo un enunciado de la lógica proposicional es contradictorio?

description

GuÃ-a primer examen MEF [parte teórica]

Transcript of GuÃ-a primer examen MEF [parte teórica]

  • UniversidaddeGuadalajara Calendario2015A

    LgicamatemticaI(lgicaproposicional)

    Dr.FabinBernacheMaldonadoepartamentodeFilosofaaestraenEstudiosFilosficos

    DMGu primer aparael examen

    1. Enumera la totalidad de los elementos que constituyen el vocabulario de la lgica

    roposicional.p

    2. Porqusedicedelalgicaproposicionalquesetratadeunalgicabivalente?

    3. Explica en qu consiste un enunciado simple y un enunciado compuesto en lgica

    roposicional.p

    4. Cundo un enunciado compuesto de la lgica proposicional est correctamente

    ormado?f

    5. Enquconsiste laverifuncionalidad(overitativofuncionalidad,ofuncindeverdad)

    elosenunciadoscompuestosdelalgicaproposicional?d

    6. Cundounenunciadodelalgicaproposicionalestautolgico?

    7. Cundounenunciadodelalgicaproposicionalescontingente?

    8. Cundounenunciadodelalgicaproposicionalescontradictorio?