AULA 2

12 Outubro 2021, 09:30 • Fernando Ferreira

Os sinónimos de A --> B: (1) se A então B; (2) B, se A; (3) A somente se B; (4) A é condição suficiente para se ter B; (5) B é condição necessária para se ter A. Algumas equivalências lógicas notáveis, incluindo as leis da absorção. Tautologias e o problema P versus NP. Duas demonstrações do seguinte: se a e b são inteiros e a+b é ímpar, então a é par ou b é par. Uma primeira demonstração mostrando que se a+b é ímpar e a é não é par então b é par. Outra por contrarrecíproco.