00826 a2200169 45000010006000000050017000060080041000230030015000640400040000790800033001192450057001522640030002093000018002395050364002570410008006211000027006294507120260407155726.0260407a1973 arg spa dAR-UNSa-BCEJYS aAR-UNSa-BCEJYSbspacAR-UNSa-BCEJYS a510.6xLógica matemática10aManual de lógica para estudiantes de matemáticas 1aMéxico :bTrillasc1973 a66 p.c23 cm. aI. Sintaxis: 1. Proposiciones simples - 2. Negaciones - 3. Conjunciones y disyunciones - 4. Condicionales - 5. Bicondicionales - 6. Cuantificaciones -- II Semántica: 7. Válidez e implicación - 8. Demostraciones DIRECTAS - 9. Equivalencia de proposiciones - 10. Leyes de la negación - 11. Demostraciones indirectas - 12. Interpretación de la igualdad aspa1 aZubieta Russi, Gonzalo