Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica Matemática
Lógica Matemática
) ) ) WrQFLDGHGRLVLUUDFLRQDLVQDVFRQGLo}HVGRHQXQFLDGRVHPRV
apresentar concretamente.
$EDL[R HQFRQWUDPVH DV WDEHODV GH YHUGDGH SDUD RXWURV 1RWHDGLIHUHQoDSDUDDGHPRQVWUDomRTXHVHVHJXHHVWD
FRQHFWLYRVOyJLFRVQRPHDGDPHQWH∧FRQMXQomRH→ (impli- VLPFRQVWUXWLYD
FDomR5HOHPEUDPRVTXH A ∧ B VHOr´A e BµHTXH A → B se
Or´VHA, então B’’. Demonstração. &RQVLGHUH RV Q~PHURV LUUDFLRQDLV a :=
√
2 e
b := 2log2 3.7HPRVTXH
√
A B A∧B A B A→B ab = ( 2)2log2 3 = 2log2 3 = 3 ∈ Q.
9 9 9 9 9 9 ∴([LVWHPQ~PHURVLUUDFLRQDLVa e bWDLVTXHab seja racional.
9 ) ) 9 ) )
) 9 ) ) 9 9 2OHLWRUFRQFRUGDUiFHUWDPHQWHTXHDVHJXQGDGHPRQVWUDomR
) ) ) ) ) 9 pPDLVLQIRUPDWLYDGRTXHDSULPHLUD(OHPHQWRVSUHFLVRVQDV
FRQGLo}HVGRHQXQFLDGRVmRDSUHVHQWDGRV
(PERUDRVSULQFtSLRVGDOyJLFDFOiVVLFDSRVVDPVHUPXLWR
'HPRGRHTXLYDOHQWH DOyJLFDFOiVVLFDSRGHVHUFDUDFWHUL-
2
LQWXLWLYRV H DV DSOLFDo}HV LPHQVDV – Vy D WtWXOR GH H[HPSOR
]DGDSRUSHUPLWLUDHOLPLQDomRGDGXSODQHJDomR ¬¬ A → A DOyJLFDGHSULPHLUDRUGHP3TXHHVWiQDEDVHGDOLQJXDJHP
RXDWpFQLFDGHGHPRQVWUDomRSRUFRQWUDGLomRSDUDSURYDUA, GHSURJUDPDomR3URORJ>@WHPDSOLFDo}HVQDYHULÀFDomRVH-
basta partir de ¬ AHFKHJDUDXPDFRQWUDGLomR TXHQFLDOGHSURJUDPDVQRdesignGHFLUFXLWRVHPUREyWLFD
9DPRVLOXVWUDUXPWLSRGHDUJXPHQWDomRYiOLGRHPOyJLFD HPLQWHOLJrQFLDDUWLÀFLDOHPSURFHVVDPHQWRGHOtQJXDQDWX-
FOiVVLFD TXH R OHLWRU Mi HQFRQWURX FHUWDPHQWH HP YiULDV GH- ral, etc. –QmRVmRD~QLFDIRUPDGHUDFLRFtQLR'HSHQGHQGR
PRQVWUDo}HV PDWHPiWLFDV &RQFUHWDPHQWH LUHPRV GHPRQV- GRSRQWRGHYLVWDHGRVREMHWLYRVDDOFDQoDUSRGHUiVHUYDQ-
WUDU TXH ´H[LVWHP Q~PHURV LUUDFLRQDLV a e b WDLV TXH ab seja WDMRVRXVDURXWUDVOyJLFDV
racional”.
>@$1.ROPRJRURY´2QWKH3ULQFLSOHRIWKH([FOXGHG0L-
GGOHµ5XVVLDQ. Mat. Sb.,
SOBRE A AUTORA
>@$XJXVWR-)UDQFRGH2OLYHLUD´6LVWHPDVGHGXWLYRVµ.3X-
EOLFDomR online DFHVVtYHO HP https://sites.google.com/site/tutas-
place/Home/cursos.
9
Pense no símbolo ⊥ como significando absurdo (é comum formular as lógi-
cas clássica e intuicionista numa linguagem em que os símbolos primitivos são
⊥, ∧, ∨, →, ∀ e ∃ e definir ¬A como abreviando A → ⊥). Os símbolos 0 e
⊕ devem ser entendidos como uma versão linear do falso e da disjunção. Para
uma completa formulação das lógicas intuicionista e linear consulte a Secção
3 de [2].