Question

Q. Logic
Consider the following two sentences. Translate those to FOL.
1. All birds except penguin fly. (1 pt.)
2. Sweetie is a bird that doesn’t fly. (1 pt.)
Show how these two formulas can be used to decide whether Sweetie is a penguin or not. (1 pt.)

Answer 1

Given : 1. All birds except penguin fly.  

2. Sweetie is a bird that doesn’t fly.  

To Find : Show how these two formulas can be used to decide whether Sweetie is a penguin or not.

Solution:

All birds except penguin fly.

Penguin is the only bird that can not fly

A bird that can not fly is penguin.

Sweetie is a bird that doesn’t fly

A bird that can not fly is penguin and Sweetie is a bird that doesn’t fly

Hence Sweetie is penguin.

Learn More:

think of 3 situations/examples of each that are certain to happen ...

https://brainly.in/question/11912790