Conectivos Lógicos e Proposições Equivalentes Flashcards
A proposição “Ou Pedro é médico ou Maria é dentista” equivale a “Ou Maria é dentista ou Pedro é Médico”.
Certo.
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
Qual (Quais) a (s) proposição (proposições) equivalente (s) a “Se Pedro é médico, então Maria dentista”?
Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico.
E
Pedro não é médico OU Maria é dentista.
E
Maria é dentista OU Pedro não é médico.
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
Considere a seguinte porposição composta: “Se Bacon é cachorro, então Jones é humano”. Qual a contrapositiva dessa proposição?
Se Bacon é cachorro, então Jones é humano = Se Jones não é humano, então, Bacon não é cachorro.
E
Bacon não é cachorro OU Jones é humando.
E
Jones é humano OU Bacon não é cachorro.
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
p ^ q
Como se lê isso?
P E Q
p v q
Como se lê isso?
P OU Q
Se Pedro não é médico, então, Maria é dentista. Qual a contrapositiva dessa proposição? Ou seja, qual a condicional equivalente?
Se Maria não é dentista, então, Pedro é médico (aplica-se a regra do inverte e troca).
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
p -> q
Como se lê isso?
Se P, então Q.
p <-> q
Como se lê isso?
P, se e somente se Q.
Pedro é médico e Maria é dentista.
Qual o equivalente lógico dessa proposição?
REGRA DA MERA INVERSÃO
p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
Pedro é médico ou Maria é dentista.
Qual o equivalente lógico dessa proposição?
REGRA DA MERA INVERSÃO
p v q = p v q (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
Ou Pedro é médico ou Maria é dentista
Qual o equivalente lógico dessa proposição?
REGRA DA MERA INVERSÃO
Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
Se e somente se Pedro é médico, Maria é dentista.
Qual o equivalente lógico dessa proposição?
REGRA DA MERA INVERSÃO
p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
Se Pedro é médico, então Maria dentista.
Qual o equivalente lógico dessa proposição?
*REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
p -> q = ~q = ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
ATENÇÃO! ESSA REGRA CAI MUITO EM PROVA!
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
Se Pedro é médico, então Maria é dentista.
Qual o equivalente lógico dessa proposição que a transforma em uma conjunção?
*REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
Pedro é médico ou Maria é dentista.
Qual o equivalente lógico dessa proposição que a transforma em uma condicional?
- REGRA DE NEYMAR, NA CONJULÇÃO-CONDICIONAL (transforma a conjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
ATENÇÃO! ESSA REGRA CAI MUITO EM PROVA!
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
Pedro é médico se e somente se Maria é dentista.
Qual o equivalente lógico dessa proposição que a transforma duas condicionais?
REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
(p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
EQUIVALÊNCIA LÓGICA
- Equivalência lógica refere-se a proposições logicamente equivalentes.
- Ex.: Pedro trabalha E Pedro estuda = Pedro estuda E Pedro trabalha (proposições logicamente equivalentes), ou seja, p ^ q = p ^ p (regra da mera inversão).
- A regra da mera inversão vale para os conectivos conjunção; disjunção; disjunção exclusiva e bicondicional. Só não vale para a condicional.
- Regras:
1- REGRA DA MERA INVERSÃO
. p ^ q = q ^ p (Pedro é médico e Maria é dentista = Maria é dentista e Pedro é Médico)
. p v q = q v p (Pedro é médico ou Maria é dentista = Maria é dentista ou Pedro é Médico)
. p v p = q v p (Ou Pedro é médico ou Maria é dentista = Ou Maria é dentista ou Pedro é Médico)
. p <-> q = q <-> p (Pedro é médico se e somente se Maria é dentista = Maria é dentista se e somente se Pedro é Médico)
2- *REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
3- *REGRA DO NEyMAR, CONDICIONAL-DISJUNÇÃO (transforma a condicional em uma disjunção equivalente)
. p -> q = ~p v q (Se Pedro é médico, então Maria é dentista = Pedro não é médico ou Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
4- REGRA DE NEYMAR, NA DISJUNÇÃO-CONDICIONAL (transforma a disjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
MM: NEyMAr NEga a primeira parte, MAntém a segunda.
5- REGRA DA BICONDICIONAL (a BIcondicional equivale a duas condicionais)
. (p <-> q) = (p->) (q->p) (Pedro é médico se e somente se Maria é dentista = Se Pedro é médico, então Maria é dentista; Se Maria é dentista, então Pedro é Médico).
Obs.: na conjunção exclusiva, há uma linha em vaixo do símbolo “v”, mas o BrainScape não deixa que eu a inclua.
Assinale a alternativa que apresenta uma sentença logicamente equivalente à sentença: “Se Beatriz for promovida, então Ana será demitida”.
A
“Beatriz será promovida ou Ana não será demitida”.
B
“Se Ana for demitida, então Beatriz não será promovida”.
C
“Se Beatriz não for promovida, então Ana não será demitida”.
D
“Se Ana não for demitida, então Beatriz não será promovida”.
E
“Beatriz será promovida ou Ana será demitida”.
D
“Se Ana não for demitida, então Beatriz não será promovida”.
Q -> P = ~Q -> ~P
“Se Beatriz for promovida, então Ana será demitida” = “Se Ana não for demitida, então Beatriz não será promovida”.
“Se Beatriz for promovida, então Ana será demitida”.
Informe uma proposição condicional equivalente.
Q -> P = ~q -> ~p
Se Ana não for demitida, Beatriz não será promovida.
*REGRA DO INVERTE E TROCA (transforma a condicional em outra condicional equivalente; inverte as posições e troca os sinais)
. p -> q = ~q -> ~p (Se Pedro é médico, então Maria dentista = Se Maria não é dentista, então Pedro não é médico)
“Se Beatriz for promovida, então Ana será demitida”.
Transforme essa proposição em uma conjunção equivalente.
Q -> P = ~q -v p
Beatriz não será promovida ou Ana será demitida.
REGRA DE NEYMAR, NA CONJUNÇÃO-CONDICIONAL (transforma a conjunção em uma condicional equivalente)
. p v q = ~p -> q (Pedro é médico ou Maria é dentista = Se Pedro não é médico, então Maria é dentista).
4 x 6
24
4 x 7
28
4 x 8
32
4 x 9
36
5 x 7
35
5 x 8
40
5 x 9
45
6 x 7
42
6 x 8
48
6 x 9
54
7 x 6
42
7 x 7
49
7 x 8
56
7 x 9
63
8 x 6
48