Flashcards
lógica

Cards in this deck (10)
- 1Proposição/sentençassão frases afirmativas, declarativas.
ex:
p: Bolo de chocolate é gostoso
r: 7>4 (v)
s: 2 é impar (f) - 2Proposição (negação)é utilizado o simbolo ~ para mostrar a versão inversa da preposição. Ex:
p: 15 é impar ~p: 15 não é impar
q: paulo é alto ~q: paulo não é alto
r: 2 < 3 ~r 2 >= 3 - 3Conjunçãoé a ligação entre duas proposições (e/^), apenas é verdadeira se ambas forem. ex:
2 é ár e 3 é impar (v)
hoje é 2a feira e amanhã choverá (f)
2<5 ^ 5>3 (v) - 4Disjunçãouma das proposições é correta (ou/v), apenas é falsa se ambas forem. ex:
2+3 = 4 ou 17 é impar (v)
"filhos" está no singular ou bonito é uma preposição (f) - 5Condicionalquando as proposições são condicionais (se p então q/ p->q), apenas é falsa quando p é verdadeira e q é falsa. ex:
se 2 é par, então 1+3=5 (f)
se 2+4 = 3 então 2-2=1 (v) - 6bicondicionalquando as proposições são corretas somente se possuírem o mesmo valor lógico (p<-->q) ex:
x=3 se e somente se x*x = 9 (f) (incompleta)
4 >2 se e somente se 2<4 (v) - 7negações proposições compostas (equivalência)(p E q) = ~p OU ~q
(p OU q) = ~p E ~q
(p -> q) = p E ~q
ex: se x é par então x-1 é impar
~: x é par e x-1 é par - 8contra-positiva(p -> q) = ~q -> ~p
ex: se x=y então 2xy = 3
~: se 2xy =/ 3 então x =/ y - 9Quantificadores∀(universal) = para todo/ qlqr que seja
ex: existe leão branco
~: nenhum leão é branco
∃(existencial)=existe/algum/pelo menos 1
ex: todo político é corrupto.
~: algum político não é corrupto
∃! = existe um único - 10técnica para concursostabela de sim ou não

Information
- Description
- 1º ano Matemática Flashcards on lógica, created by Camila Carmozine on 28/05/2021.
- Created by
- Camila Carmozine
- Views
- 0
- Rating