Lógica formal : : da lógica aristotélica ao cálculo sentencial bivalente / / Edvaldo Soares.
O objetivo da obra é abordar os temas centrais da Lógica Clássica, desde a silogística de Aristóteles até o cálculo dos predicados de primeira ordem. A ênfase será dada na construção de estruturas formalmente válidas e, na determinação da validade de argumentos. Para tanto será seguid...
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | Marília, São Paulo, Brazil : : Editora Oficina Universitária,, 2023. ©2023 |
| Year of Publication: | 2023 |
| Language: | Portuguese |
| Physical Description: | 1 online resource (312 pages) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01918nam a2200313 i 4500 | ||
|---|---|---|---|
| 001 | 993608777304498 | ||
| 005 | 20230730222658.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 230730s2023 bl ob 001 0 por d | ||
| 035 | |a (CKB)5470000002635457 | ||
| 035 | |a (NjHacI)995470000002635457 | ||
| 035 | |a (EXLCZ)995470000002635457 | ||
| 040 | |a NjHacI |b eng |e rda |c NjHacl | ||
| 050 | 4 | |a BC108 |b .S637 2023 | |
| 082 | 0 | 4 | |a 160 |2 23 |
| 100 | 1 | |a Soares, Edvaldo, |e author. | |
| 245 | 1 | 0 | |a Lógica formal : |b da lógica aristotélica ao cálculo sentencial bivalente / |c Edvaldo Soares. |
| 264 | 1 | |a Marília, São Paulo, Brazil : |b Editora Oficina Universitária, |c 2023. | |
| 264 | 4 | |c ©2023 | |
| 300 | |a 1 online resource (312 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 588 | |a Description based on publisher supplied metadata and other sources. | ||
| 520 | |a O objetivo da obra é abordar os temas centrais da Lógica Clássica, desde a silogística de Aristóteles até o cálculo dos predicados de primeira ordem. A ênfase será dada na construção de estruturas formalmente válidas e, na determinação da validade de argumentos. Para tanto será seguido o seguinte plano: Na primeira apresentamos alguns conceitos preliminares (históricos e filosóficos) em relação à lógica. Na segunda parte abordaremos a chamada lógica tradicional, com especial destaque à construção de silogismos (Categóricos e Hipotéticos) e, na terceira, os fundamentos do cálculo proposicional e do cálculo de predicados de primeira ordem. Advertimos que esta é uma obra para não iniciados e, como tal, com o risco de cometer algumas imprecisões, se utilizará de uma linguagem o menos técnica possível. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Logic. | |
| 776 | |z 9786559543625 | ||
| 906 | |a BOOK | ||
| ADM | |b 2023-08-05 08:50:10 Europe/Vienna |f system |c marc21 |a 2023-07-04 13:45:39 Europe/Vienna |g false | ||
| AVE | |i DOAB Directory of Open Access Books |P DOAB Directory of Open Access Books |x https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5346852230004498&Force_direct=true |Z 5346852230004498 |b Available |8 5346852230004498 | ||