Lógica do Sentimento Materno

O exemplo que estou criando tem relação com o sentimento materno e serão usadas 4 proposições P1,P2,P3,P4. Sendo apenas o P4 com o valor lógico VERDADE e o P1, P2, P3 com valor lógico FALSO.

O nome da mãe é Roberta e a proposição P4 é "Roberta ama o filho". A Proposição P1 é: "O filho de Roberta não matou". A Proposição P2 é: "O filho de Roberta não roubou". A Proposição P3 é: "O filho de Roberta não estuprou".

Usando a fórmula lógica usada para o Paradoxo de Russel nesse blog: (P1 ^ P2 ^ P3) --> P4. Se 'o filho de roberta não matou' e 'o filho de roberta não roubou' e 'o filho de roberta não estuprou' então Roberta ama o filho. Nesse caso ficaria (F ^ F ^ F) --> V = V. Mas independente do valor lógico das proposições P1,P2 e P3 o resultado lógico do conjunto sempre seria verdade pq a proposição "Roberta ama o filho" é verdade. Talvez essa lógica explique pq as mãe ficam ao lado do filho mesmo quando ele está na cadeia.

Se encontrarem algum erro, por gentileza, me avisem.

Bem, é isso.

Bem, não creio que seja a melhor resposta mas essa fómula resolve deve resolver a questão:

P = "A é elemento de A"
¬P = "A não é elemento de A"
(P v ¬P) --> (VERDADE)

Nesse caso só pode ser usado o V e o F. Tenho outras respostas mas, as vezes, vou com muita sede ao pote por isso não vou colocar nada ainda. Vejam se vcs conseguem derrubar essa resposta, ok?

O símbolo entre (P v ¬P) e (VERDADE) é o conectivo "se, então"

Abraço,
Thiago Leite.

Paradoxo de Russel

Dei uma olhada agora e tem um erro, peço desculpas. Mas esse erro foi pq eu procurei simplificar demais. Mas vou deixar aqui uma idéia do que seja até eu conseguir formalizar direito isso.

Se uma proposição P tem dois elementos 'verdadeiro' e 'falso' então ele é um conjunto. O conjunto das partes seria 2 elevado ao número de elementos. Como nós temos dois elementos então a proposição teria 4 partes: {V},{F},{VF},{VAZIO}.