Índice:

Introdução …………………………. ………………………………. ….……………. 1

Lógica Proposicional ……………………. …………………………...………………. 3
Operações Lógicas Basilares …………………………. ……………………………… 4
Negação ……………………………………………………………… ………………. 4
Conjunção …………………….……………………………………….……………….. 5
Disjunção ……………………. …………………………………….………………….. 6
Implicação …………… ……………………………………….………………………. 7
Equivalência …………………….……………………………….…………………….. 8
Conclusão ………………………………………….…………….…………………….. 9
Referências Bibliográficas …...…………………………………………….…………. 10
INTRODUÇÃO

A lógica é uma ciência que estuda as formas e as regras do pensamento correto, ou seja,
do raciocínio válido. A lógica formal é um ramo da lógica que se ocupa da análise das
estruturas lógicas independentemente do seu conteúdo, ou seja, dos significados das
palavras e das frases. A lógica proposicional é uma forma da lógica formal que estuda
as relações entre proposições quando são conectadas por conectivos como “e”, “ou”,
“não” e “se… então”.

O objetivo deste trabalho é apresentar o conceito de lógica proposicional, as suas

características, as suas aplicações e as suas limitações. Além disso, o trabalho também
irá explicar as cinco operações lógicas basilares, que são: negação, conjunção,
disjunção, implicação e equivalência. Essas operações permitem construir proposições
compostas a partir de proposições simples e determinar os seus valores de verdade.
LÓGICA PROPOSICIONAL

Uma proposição é uma sentença declarativa, seja ela expressa de forma afirmativa ou
negativa, na qual podemos atribuir um valor lógico “V” (verdadeiro) ou “F” (falso). Por
exemplo, as seguintes sentenças são proposições:

1) Maputo é a capital de Moçambique. (V)

2) A Argentina não é um país pertencente ao continente africano. (V)
3) Todos os homens são mortais. (V)
4) 10 é um número par positivo. (V)
5) 7 + 5 = 10. (F)

As proposições podem ser representadas por letras minúsculas, geralmente “p”, “q”, “r”
e “s”. Por exemplo, podemos representar a proposição “Maputo é a capital de
Moçambique ” por “q”, e seu valor lógico por Val(q) = V.

A lógica proposicional é praticamente o tipo mais simples de cálculo lógico em

qualquer uso. Ela se concentra no estudo das relações lógicas que existem entre
proposições quando são conectadas por meio de conectivos lógicos. Os principais
conectivos lógicos são:

❖ Negação: representado pelo símbolo “¬”, indica a inversão do valor de verdade

de uma proposição. Por exemplo, se p é uma proposição verdadeira, então ¬p é
uma proposição falsa, e vice-versa.
❖ Conjunção: representado pelo símbolo “∧”, indica a união de duas proposições
que só é verdadeira quando ambas as proposições são verdadeiras. Por exemplo,
se p e q são proposições verdadeiras, então p ∧ q é uma proposição verdadeira,

mas se uma delas for falsa, então p ∧ q é uma proposição falsa.

❖ Disjunção: representado pelo símbolo “∨”, indica a união de duas proposições

que é verdadeira quando pelo menos uma das proposições é verdadeira. Por
 exemplo, se p e q são proposições verdadeiras, então p ∨ q é uma proposição

verdadeira, mas se ambas forem falsas, então p ∨ q é uma proposição falsa.

❖ Implicação: representado pelo símbolo “→”, indica a relação de dependência

entre duas proposições, de modo que se a primeira for verdadeira, então a
segunda também deve ser verdadeira. Por exemplo, se p e q são proposições,
então p → q é uma proposição que é falsa apenas quando p é verdadeira e q é
falsa, mas é verdadeira nos demais casos.
❖ Equivalência: representado pelo símbolo “↔”, indica a relação de equivalência
entre duas proposições, de modo que elas têm o mesmo valor de verdade. Por
exemplo, se p e q são proposições, então p ↔ q é uma proposição que é
verdadeira apenas quando p e q têm o mesmo valor de verdade, mas é falsa
quando eles têm valores de verdade diferentes.

A lógica proposicional também estuda as regras que determinam os valores de verdade

das proposições quando elas são unidas por conectivos lógicos. Para isso, utiliza-se uma
ferramenta chamada tabela-verdade, que é uma tabela que mostra todas as possíveis
combinações de valores de verdade das proposições simples e das proposições
compostas formadas por elas. Por exemplo, a tabela-verdade da conjunção é:
Trabalho

p q P^q
A tabela-verdade mostra que a proposição composta p ∧
V V V
q só é verdadeira quando p e q são verdadeiras, e é falsa
V F F
nos demais casos.
F V F
A lógica proposicional também se preocupa com as
F F F
propriedades lógicas das proposições, como serem
tautologicamente verdadeiras, contingentes ou Auto contraditórias. Uma proposição é
tautologicamente verdadeira quando é verdadeira para qualquer valor de verdade das
proposições simples que a compõem. Por exemplo, a proposição “Todos os solteiros
não estão casados” é tautologicamente verdadeira, pois é uma definição do que é ser
solteiro e não pode ser falsa. Uma proposição é contingente quando é verdadeira para
alguns valores de verdade das proposições simples que a compõem, e falsa para outros.
Por exemplo, a proposição “Hoje é terça-feira” é contingente, pois é verdadeira hoje,
mas não seria verdadeira em outros dias da semana. Uma proposição é Auto
contraditória quando é falsa para qualquer valor de verdade das proposições simples que
a compõem. Por exemplo, a proposição “O sol é uma estrela e o sol não é uma estrela” é
Auto contraditória, pois não tem como ser verdadeira.

A lógica proposicional tem diversas aplicações em áreas como matemática, computação,

filosofia, linguística, inteligência artificial, entre outras. Ela permite analisar a validade
de argumentos, construir sistemas formais, modelar situações e problemas, desenvolver
linguagens de programação, entre outras atividades.

No entanto, a lógica proposicional também tem algumas limitações, como não ser capaz
de expressar relações entre objetos, propriedades, quantidades, funções, entre outros
conceitos que exigem uma maior complexidade lógica. Para isso, existem outras formas
de lógica formal, como a lógica de predicados, a lógica modal, a lógica temporal, entre
outras, que ampliam o escopo e o poder da lógica proposicional.
AS CINCO OPERAÇÕES LÓGICAS BASILARES
Nesta seção, iremos explicar em mais detalhes as cinco operações lógicas basilares, que
são: negação, conjunção, disjunção, implicação e equivalência. Essas operações
permitem construir proposições compostas a partir de proposições simples e determinar
os seus valores de verdade.

Negação

A negação é a operação lógica que inverte o valor verdade de uma proposição. Ela é
representada pelo símbolo ¬ e é lida como “não”. A negação de uma proposição P é
denotada por ¬P e tem o valor verdade oposto ao de P. A tabela-verdade da negação é a
seguinte:

P ¬P Um exemplo de negação é a seguinte proposição: “Não é verdade que hoje

V F está chovendo”. Se a proposição “Hoje está chovendo” for verdadeira, então

F V a sua negação será falsa, e vice-versa.

Conjunção

A conjunção é a operação lógica que une duas proposições e resulta em uma nova
proposição que é verdadeira somente se ambas as proposições forem verdadeiras. Ela é
representada pelo símbolo \uF0DA e é lida como “e”. A conjunção de duas proposições
P e Q é denotada por P \uF0DA Q e tem o valor verdade de acordo com a seguinte
tabela-verdade:
 P Q P \ Um F0DA Q Um exemplo de conjunção é a seguinte proposição:
V V V “João é alto e magro”. Se as proposições “João é alto” e

V F F “João é magro” forem ambas verdadeiras, então a sua

F V F conjunção também será verdadeira. Se pelo menos uma

F F F delas for falsa, então a sua conjunção será falsa.

Disjunção

A disjunção é a operação lógica que une duas proposições e resulta em uma nova
proposição que é verdadeira se pelo menos uma das proposições for verdadeira. Ela é
representada pelo símbolo \uF0DA e é lida como “ou”. A disjunção de duas proposições
P e Q é denotada por P \uF0DA Q e tem o valor verdade de acordo com a seguinte
tabela-verdade:

P Q P \ Um F0DA Um exemplo de disjunção é a seguinte proposição: “Maria

Q é loira ou morena”. Se as proposições “Maria é loira” e
V V V “Maria é morena” forem ambas verdadeiras, então a sua

V F F disjunção também será verdadeira. Se apenas uma delas

for verdadeira, então a sua disjunção também será
F V F
verdadeira. Se ambas forem falsas, então a sua disjunção
F F F
será falsa.

Implicação

A implicação é a operação lógica que expressa uma relação de dependência entre duas
proposições. Ela é representada pelo símbolo \uF0AE e é lida como “implica” ou “se,
então”. A implicação de duas proposições P e Q é denotada por P \uF0AE Q e significa
que se P for verdadeira, então Q também deve ser verdadeira. A implicação tem o valor
verdade de acordo com a seguinte tabela-verdade:
 P Q P \ Um F0AE Q Um exemplo de implicação é a seguinte proposição:
V V V “Se chover, a rua fica molhada”. Se a proposição

V F F “Chover” for verdadeira, então a proposição “A rua

F V V fica molhada” também deve ser verdadeira, caso

F F V contrário, a implicação será falsa. Se a proposição

“Chover” for falsa, então a implicação será
verdadeira, independentemente do valor verdade da proposição “A rua fica molhada”.

Equivalência

A equivalência é a operação lógica que expressa uma relação de equivalência entre duas
proposições. Ela é representada pelo símbolo \uF0D9 e é lida como “equivale” ou “se e
somente se”. A equivalência de duas proposições P e Q é denotada por P \uF0D9 Q e
significa que P e Q têm o mesmo valor verdade. A equivalência tem o valor verdade de
acordo com a seguinte tabela-verdade:

P Q P \ Um F0D9 Q Um exemplo de equivalência é a seguinte proposição:

V V V “Joana é irmã de Pedro se e somente se Pedro é irmão de

V F F Joana”. Se as proposições “Joana é irmã de Pedro” e

F V F “Pedro é irmão de Joana” forem ambas verdadeiras,

F F V então a sua equivalência também será verdadeira. Se

uma delas for verdadeira e a outra falsa, então a sua
equivalência será falsa. Se ambas forem falsas, então a sua equivalência também será
verdadeira.
Conclusão

Neste trabalho, apresentamos e explicamos as cinco operações lógicas basilares da

lógica proposicional: negação, conjunção, disjunção, implicação e equivalência.
Mostramos os seus símbolos, tabelas-verdade e exemplos. Também mostramos como
elas podem ser aplicadas na computação, na representação de conhecimento, na
validação de algoritmos e na correção de programas. Esperamos que este trabalho tenha
contribuído para o seu aprendizado sobre a lógica proposicional e que você possa usar
esse conhecimento para resolver problemas e raciocinar de forma lógica e rigorosa
Referências bibliográficas:

1) Apostila de Lógica Proposicional (Fundamentos Básicos).

https://www.facom.ufu.br/~gustavo/Logica/Apostila_LogicaProposicional.pdf.
2) Lógica proposicional – Wikipédia, a enciclopédia livre.
https://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional.
3) Apostila de Lógica Proposicional (Fundamentos Básicos).
https://www.facom.ufu.br/~gustavo/Logica/Apostila_LogicaProposicional.pdf.
4) Lógica proposicional – Wikipédia, a enciclopédia livre.
https://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional.
5) Quais são as 5 operações da lógica proposicional? – TodasAsRespostas.pt.
https://bing.com/search?q=L%c3%b3gica+Proposicional%3a+As+cinco+opera
%c3%a7%c3%b5es+l%c3%b3gicas+basilares.
6) Quais são as 5 operações da lógica proposicional? – TodasAsRespostas.pt.
https://todasasrespostas.pt/quais-sao-as-5-operacoes-da-logica-proposicional.
7) Quais são as 5 operações da lógica proposicional? – TodasAsRespostas.pt.
https://todasasrespostas.pt/quais-sao-as-5-operacoes-da-logica-proposicional.
8) Quais são as 5 operações da lógica proposicional? – Todas as Respostas.
https://todasasrespostas.com/quais-sao-as-5-operacoes-da-logica-proposicional.
9) undefined. https://bing.com/search?q=.