|
== Lógica formal ==
A Lógica Formal, também chamada de Lógica Simbólica, isse concernedpreocupa primarilybasicamente withcom thea structureestrutura ofdo reasoningraciocínio. A Formal logicLógica dealsFormal withlida thecom relationshipsa betweenrelação conceptsentre andconceitos providese afornece wayum tomeio composede proofscompor ofprovas statementsde declarações. Na Inlógica formalFormal logic,os conceptsconceitos aresão rigorouslyrigorosamente defineddefinidos, ande sentencesas aresentenças translatedsão intotransformadas aem preciseprecisos, compact,compactos e andnão unambiguousambiguas symbolicnotações notationsimbólicas.
Alguns exemplos de notações simbólicas são:
LowercaseAs letras minúsculas letter ''p'', ''q'' and ''r'' withem italicfonte fontitálica, aresão conventionallyconvencionalmente usedusadas topara denotedenotar propositionsproposições:
:p: 1 + 2 = 3
ThisEsta nodeclaração statementdefine que defines ''p'' isé 1 + 2 = 3 ande que thatisso isé ''trueverdadeiro''.
Two propositions can be combined using ''[[logical conjunction|conjunction]]'', ''[[logical disjunction|disjunction]] or [[logical conditional|conditional]]. They are called ''[[binary]] [[logical operator]]s''. Such combined propositions are called '''compound proposition'''s. For example,
Duas proposições podem ser combinadas, formando ''[[logical conjunction|conjunções]]'', ''[[logical disjunction|disjunções]] ou [[logical conditional|condicionais]]. Elas são chamadas ''[[operadores lógicos'']][[binários]] . Estas proposições combinadas são chamadas '''proposições compostas'''. Por exemplo:
:p: 1 + 1 = 2 ''ande'' ''"logicLógica isé theo studyestudo ofdo reasoningraciocínio."''
InNeste this casecaso, ''ande'' isé uma a [[Logical conjunction|conjunctionconjunção]]. As The twoduas propositionsproposições canpodem differdiferir totallytotalmente fromuma eachda otheroutra.
In [[mathematics]] and [[computer science]], one may want to state a proposition depending on some variables:
| 