Want to create interactive content? It’s easy in Genially!
Lógica - Relações lógicas
polyana.fonseca
Created on February 18, 2021
Start designing with a free template
Discover more than 1500 professional designs like these:
View
Essential Map
View
Akihabara Map
View
Frayer Model
View
Create Your Story in Spanish
View
Microcourse: Key Skills for University
View
Microcourse: Learn Spanish
View
Choice Board Flipcards
Transcript
Lógica
Oi!
Vamos começar?
Relações Lógicas
Equivalência e Implicação
Conceitos
Propriedades
Propriedades
Exercícios
Conceitos
A equivalência tem 3 propriedades:
A equivalência lógica é como a igualdade matemática.
A implicação tem 2 propriedades
Após estudar todos os quadros ao lado, você já compreendeu as relações de equivalência e implicação, e já sabe efetuar a prova de validade de ambas. Agora você pode fazer exercícios, começando por alguns aqui embaixo.
A implicação é uma relação de causa e consequência.
Prova de validade
Prova de validade
Para que uma implicação seja válida, todas as linhas V do 1º membro também deve ser V no 2º membro, ou a condicional correspondente à implicação deve ser uma tautologia.
Para provar que uma equivalência é válida, basta provar que as tabelas tem o mesmo resultado, ou que a bicondicional correspondente à equivalência é uma tautologia
Prof. Polyana Santos Fonseca Nascimento