Considere a condicional p rightwards arrow q. A partir desta condicional temos: A recíproca da condicional: q rightwards arrow p A cont...

Considere a condicional p rightwards arrow q. A partir desta condicional temos: A recíproca da condicional: q rightwards arrow p A contrapositiva: tilde q rightwards arrow tilde p A inversa: tilde p rightwards arrow tilde q Duas equivalências lógicas notáveis são: open parentheses p rightwards arrow q close parentheses left right double arrow open parentheses tilde q rightwards arrow tilde p close parentheses open parentheses q rightwards arrow p close parentheses left right double arrow open parentheses tilde p rightwards arrow tilde q close parentheses Destaque-se ainda que uma condicional e sua recíproca não são logicamente equivalentes e que uma condicional e sua inversa também não são logicamente equivalentes. Para saber se outras proposições como essas são logicamente equivalentes é preciso provar que a bicondicional é uma tautologia. Considere as proposições: a: João é aposentado. b: João viaja bastante. Então é correto afirmar que: Selecione uma alternativa: a) as proposições a rightwards arrow tilde be b rightwards arrow tilde a são logicamente equivalentes. b) as proposições a rightwards arrow b e b rightwards arrow tilde a são logicamente equivalentes. c) as proposições a rightwards arrow b e tilde b rightwards arrow factorial tilde a são logicamente equivalentes. d) as proposições a rightwards arrow b e tilde b rightwards arrow tilde a são logicamente equivalentes. e) as proposições a rightwards arrow b e tilde a rightwards arrow tilde b são logicamente equivalentes.