LGICA FORMAL Conceito de Proposio: Uma proposio ou uma afirmao uma sentena que pode ser ou verdadeira (V),

, ou falsa (F), mas no como ambas. Geralmente so representadas por letras maisculas do alfabeto (P, Q, R, etc). Deve ser quantificada. No pode ter variveis na proposio, algo que possibilite uma dupla interpretao (V e F ao mesmo tempo). Elas podem ser compostas e conter smbolos: ou ~ ou sobre a letra ou significam negao. Ex.: p; ~p;p /\ significa e \/ significa ou \/ significa ou...ou significa ento significa se e somente se Uma sequncia de proposies premissas com uma proposio concluso gera um argumento. Proposies Lgicas: Proposies so afirmaes. So sentenso declarativas, podendo ser verdadeiras ou falsas. Proposies Abertas (de primeira ordem e de segunda ordem): De primeira ordem: Quando no podemos determinar um dos sujeitos. Ex.: Ele um bom homem. De segunda ordem: Quando no podemos determinar dois dos sujeitos. Refere-se induo. Ex.: X+Y=2. Proposies Categricas (uso de quantificadores): So proposies formadas por Quantificador + Termo Sujeito + Verbo Ser +Termo Predicado. Ex.: Todos os corruptos so pessoas de mau carter; Alguns polticos so corruptos. Elas so classificadas em: 1-Proposio Universal Afirmativa: Ex.: Todo ... .... 2- Proposio Universal Negativa: Ex.: Nenhum ... .... 3- Proposio Particular Afirmativa: Ex.: Algum ... .... (alguns, pelo menos um) 4- Proposio Particular Negativa: Ex.: Algum ... no .... (alguns, pelo menos um) Conectivos Lgicos (conjuntivo, disjuntivo inclusivo, disjuntivo exclusivo, condicional, bicondicional): Os conectivos lgicos so: Conjuntivo: /\ - and e, mas, nem Disjuntivo Inclusivo: \/ - or ou Disjuntivo Exclusivo: \/ - xor ou...ou Condicional: then ento, implica que Bicondicional: - se e somente se Operaes Lgicas (negao, conjuno, disjuno inclusiva, disjuno exclusiva, condio, bicondio): Negao: Conjuno: Disjuno Inclusiva: Disjuno Exclusiva: Condio: Possui ltima prioridade. utilizada para dizer que a verdade de uma proposioconcluso est condicionada verdade de uma proposio-hiptse.

A nica maneira da sentena condicional ser falsa se a hiptese verdadeira e a concluso falsa. Podemos representar na forma de conectivos:

A contraposio seria:

A proposio oposta seria:

A proposio inversa seria:

Bicondio: Tambm possui ltima prioridade. utilizada para dizer que a verdade de uma proposio-concluso est condicionada verdade de uma proposio-hiptse. O mesmo servir para o caminho inverso.

Sabendo que: E: Ento:

Tabelas-Verdade: Da negao ():

Da conjuno (/\):

Da disjuno (\/):

Linguagem Corrente e Linguagem Simblica: Tautologia: Uma tautologia uma proposio que sempre verdadeira independente dos valores-verdade das afirmaes que compem a proposio. Exemplo: tautologia p p p\/p V F V F V V Contradio: Uma contradio uma proposio que sempre falsa independente dos valores-verdade das afirmaes que compem a proposio. Exemplo: contradio p p p/\p V F F F V F Contingncia: Implicao Lgica e Equivalncia Lgica: lgebra Proposicional (propriedades comutativa, distributiva, e Leis de De Morgan): A) Propriedade Comutativa: A ordem dos fatores no altera o argumento.

Propriedade Distribuitiva:

B) Leis de Morgan: 1) 2) Ou

Argumentos Lgicos Dedutivos: uma forma de argumento que geralmente parte de uma verdade universal para uma verdade mais singular ou menos universal. A concluso decorre

das premissas. Geralmente os argumentos dedutivos so estreis, eis que no apresentam nada novo, nenhum conhecimento. A partir das premissas, com o logo, chegamos concluso. Argumentos Categricos: So argumentos constitudos de proposies categricas: formadas por Quantificador + Termo Sujeito + Verbo Ser +Termo Predicado. Geralmente podem ser desenhados por Diagramas de Euler (para invalidar o argumento, somente, e no para validar): Ex.: Todos os mamferos tm quatro patas. Todos os ces so mamferos. Logo, todos os ces tm quatro patas. Diagrama de Euler:
Animais de quatro patas Mamferos Ces

Validao de Argumentos por meio de Tabelas-Verdade ou Diagramas Lgicos: Um argumento valido somente se suas proposies premissas e sua proposio concluso forem verdadeiras (V). Caso contrrio, no argumento vlido. LGICA INFORMAL Verdades e Mentiras: Relacionamento de objetos: Sequncias Numricas: Sucesses de Palavras: Questes que se resolvem por meio de raciocnio simples e aritmtica bsica: LGICA DE PROGRAMAO Comandos condicionais: Comandos repetitivos: Conectores lgicos e operaes lgicas: REPRESENTAO DA INFORMAO Algoritmos e suas representaes grficas: Fluxogramas: Diagrama de blocos: